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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
ggandor/lightspeed.nvim | FennelLuaMakefile | 1.6k | +1 | 30 | 0 |
NOAA-EMC/WW3 | FortranPostScriptShell | 217 | +4 | 439 | +2 |
NCAR/ccpp-physics | FortranTeXCSS | 48 | 0 | 134 | 0 |
NGEET/fates | FortranPythonOther | 84 | +1 | 83 | 0 |
E3SM-Project/E3SM | FortranC++TeX | 294 | +2 | 307 | 0 |
MPAS-Dev/MPAS-Model | FortranPythonC | 212 | 0 | 275 | 0 |
synthetos/TinyG | G-codeCnesC | 846 | 0 | 291 | 0 |
godotengine/godot-demo-projects | GDScriptC#JavaScript | 4.2k | +32 | 1.4k | +6 |
GDQuest/learn-gdscript | GDScriptPythonShell | 1.7k | 0 | 126 | 0 |
Orama-Interactive/Pixelorama | GDScriptPythonNSIS | 5.3k | +28 | 302 | -1 |