37 skills found · Page 1 of 2
FStarLang / FStarA Proof-oriented Programming Language
AeneasVerif / AeneasA verification toolchain for Rust programs
project-everest / Mitls FstarVerified implementation of TLS 1.3 in F*
FStarLang / Fstar Mode.elEmacs support for F*
Inria-Prosecco / Libsignal Protocol Wasm FstarFork of https://github.com/signalapp/libsignal-protocol-javascript : see https://signalstar.gforge.inria.fr/
FStarLang / Fstar Vscode AssistantAn interactive mode for F* in VS Code
FStarLang / VimFStarA Vim mode for FStar
mikai233 / Fstar Client繁星课程表客户端
cpitclaudel / Fstar.jsF* running in the browser
project-everest / QUIC FStarAn implementation of the IETF QUIC protocol in F*
wenkokke / StarchildF* library for verifying neural networks.
artagnon / Vsfstar🦅 VSCode extension for F* with IDE features
FStarLang / PoP In FStarThe Proof-oriented Programming in F* Book
catalin-hritcu / Fstar CourseProgram verification with F* course materials
FStarLang / Fstar LayerSpacemacs layer for fstar (wrapper for fstar-mode.el)
FStarLang / Atom FstarSyntax highlighting for F* in Atom Editor
PeteHaitch / FstArrayLeveraging 'fst' for fast on-disk matrices
mariari / Misc ML ScriptsVarious ideas in OCaml, Haskell, and F*
FStarLang / Fstarlang.github.ioThe website of all things F*
amiller / Fstar374algorithms and models of computation in fstar
