seanpm2001/SNU_2D_ProgrammingTools_IDE_FStar

The F* Programming language IDE submodule for SNU Programming Tools.

Language: F* - Size: 374 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

seanpm2001/Learn-FStar

A repository for showcasing my knowledge of the F* programming language, and continuing to learn the language.

Language: F* - Size: 341 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1

tyilo/fstar-ni

Using F* to prove non-interference for a well-typed subset of programs written in a small imperative language

Size: 27.3 KB - Last synced: about 1 month ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

bearddan2000/fstar-cli-hello-world

A POC for fstar programming language.

Language: Shell - Size: 1.95 KB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

AeneasVerif/aeneas

A verification toolchain for Rust programs

Language: OCaml - Size: 5.4 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 112 - Forks: 11

FStarLang/FStar

A Proof-oriented Programming Language

Language: F* - Size: 725 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 2,558 - Forks: 231

kant2002/FStarMSBuildSdk

F* MSBuild SDK

Language: F* - Size: 77.1 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 8 - Forks: 0

seanpm2001/AI2001_Category-Source_Code-SC-FStar

🧠️🖥️2️⃣️0️⃣️0️⃣️1️⃣️💾️📜️ The sourceCode:FStar category for AI2001, containing F* programming language datasets

Language: R - Size: 2.44 MB - Last synced: 29 days ago - Pushed: 7 months ago - Stars: 2 - Forks: 1

victor-dumitrescu/fstar-metatheory

Mechanized metatheory in F*

Size: 7.81 KB - Last synced: 9 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

ForNeVeR/fstar-tutorial

My solutions for the F* turorial

Language: F* - Size: 1.95 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 2

artagnon/vsfstar 📦

🦅 VSCode extension for F* with IDE features

Language: TypeScript - Size: 94.7 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 15 - Forks: 5

jaybosamiya/poly1305-equivalence

Proving equivalence of spec for Poly1305 in HACL* and Vale

Language: Makefile - Size: 119 KB - Last synced: 9 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

jaybosamiya/lowstar-dlist-trials

[WIP] Writing low* code to implement dlists

Language: F* - Size: 570 KB - Last synced: 9 months ago - Pushed: almost 5 years ago - Stars: 2 - Forks: 2

mariari/Misc-ML-Scripts

Various ideas in OCaml, Haskell, and F*

Language: Haskell - Size: 266 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 8 - Forks: 2

kant2002/fstarsample

Sample how to perform export of F* to F# with Nuget

Language: F* - Size: 371 KB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 6 - Forks: 0

wkolowski/Dependent-Types-and-Theorem-Proving

Slides and code snippets for a talk I have given in November 2021.

Language: TeX - Size: 7.89 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

modotte/lowstar-hello-world

A simple Low* executable template which generates into C code

Language: F* - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

wenkokke/starchild

F* library for verifying neural networks.

Language: F* - Size: 16 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 12 - Forks: 2

YuXinFan/Wys-ckt

circuit translation check of Wys* project

Language: F* - Size: 2.42 MB - Last synced: 12 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

mssabr01/ICSVerifiedSoftwareProject

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

Language: C - Size: 53.3 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 5 - Forks: 2

yurrriq/learning-fstar

Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)

Language: Nix - Size: 195 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 5 - Forks: 0

TakuKitamura/verimqtt

verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。

Language: F* - Size: 10.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

avestura/FStar

Size: 3.91 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0

avestura/FStarDocs

FStar Documentations in readthedocs

Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 0

avestura/FStarDocBootstrapper

Translates FStar official docs to reStructuredText

Language: F# - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 3 - Forks: 0

yuchiki/gcd

implementation of gcd function in fstar.

Language: Makefile - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0