FStarLang/FStar
A Proof-oriented Programming Language
A star delta has been computed for 62,252 of 63,106 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 07:55 and 10:04 (BKK).
A Proof-oriented Programming Language
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The core OCaml system: compilers, runtime system, base libraries
A composable build system for OCaml.
That's all 4 repositories in this period.