857b

Pinned Repositories

dafny
Dafny is a verification-aware programming language
Language:C#00
FStar
A Proof-oriented Programming Language
Language:F*00
GPXSee
GPS log file viewer based on GPXSee
Language:C++00
karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml00
minijazz
The MiniJazz compiler
Language:OCaml01
NLPchecker
Language:Python00
SLFun
Language:Coq00
stageM2
Language:F*00
FStar
A Proof-oriented Programming Language
Language:F*2.7k 80 2k234
mastodon
Your self-hosted, globally interconnected microblogging community
Language:Ruby47.2k 706 11.6k7k

857b's Repositories

857b/dafny
Dafny is a verification-aware programming language
Language:C#00
857b/FStar
A Proof-oriented Programming Language
Language:F*00
857b/GPXSee
GPS log file viewer based on GPXSee
Language:C++00
857b/karamel
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Language:OCaml00
857b/minijazz
The MiniJazz compiler
Language:OCaml01
857b/NLPchecker
Language:Python00
857b/SLFun
Language:Coq00
857b/stageM2
Language:F*00