repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
FStarLang/FStar | F*OCamlPython | 2.5k | +5 | 233 | +2 |
FStarLang/karamel | OCamlF*C | 367 | +1 | 56 | 0 |
VernonGrant/gnu-c-language-manual | 555 | 0 | 26 | 0 | |
andrewt0301/hse-acos-course | AssemblyPython | 17 | 0 | 21 | 0 |
pcawte/AgDev | CC++Makefile | 13 | 0 | 1 | 0 |