FStarLang/FStar

A Proof-oriented Programming Language

F*OCamlPythonShellCMakefileOtherprogramming-languagedependent-typesocamltheorem-provingverificationf-sharpproof-assistantsmtc-languagefstar
This is stars and forks stats for /FStarLang/FStar repository. As of 29 Mar, 2024 this repository has 2482 stars and 233 forks.

F*: A Proof-oriented Programming Language F* website More information on F* can be found at www.fstar-lang.org Installation See INSTALL.md Online book An online book Proof-oriented Programming In F* is in the works and regular updates are posted online. The book is available as a PDF, or you can read it while trying out examples and exercises in your browser interface from this tutorial page. Wiki The F* wiki contains additional technical documentation on F*, and is especially useful for topics that...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
ggandor/lightspeed.nvimFennelLuaMakefile1.6k+1300
NOAA-EMC/WW3FortranPostScriptShell217+4439+2
NCAR/ccpp-physicsFortranTeXCSS4801340
NGEET/fatesFortranPythonOther84+1830
E3SM-Project/E3SMFortranC++TeX294+23070
MPAS-Dev/MPAS-ModelFortranPythonC21202750
synthetos/TinyGG-codeCnesC84602910
godotengine/godot-demo-projectsGDScriptC#JavaScript4.2k+321.4k+6
GDQuest/learn-gdscriptGDScriptPythonShell1.7k01260
Orama-Interactive/PixeloramaGDScriptPythonNSIS5.3k+28302-1