This is stars and forks stats for /FStarLang/karamel repository. As of 25 Apr, 2024 this repository has 367 stars and 56 forks.
KaRaMeL Linux Windows KaRaMeL (formerly known as KReMLin) is a tool that extracts an F* program to readable C code: K&R meets ML! If the F* program verifies against a low-level memory model that talks about the stack and the heap; if it is first-order; if it obeys certain restrictions (e.g. non-recursive data types) then KaRaMeL will turn it into C. The best way to learn about KaRaMeL is its work-in-progress tutorial. Pull requests and feedback are welcome! DESIGN.md has a technical overview...
KaRaMeL Linux Windows KaRaMeL (formerly known as KReMLin) is a tool that extracts an F* program to readable C code: K&R meets ML! If the F* program verifies against a low-level memory model that talks about the stack and the heap; if it is first-order; if it obeys certain restrictions (e.g. non-recursive data types) then KaRaMeL will turn it into C. The best way to learn about KaRaMeL is its work-in-progress tutorial. Pull requests and feedback are welcome! DESIGN.md has a technical overview...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
dfinity/motoko | OCamlSwiftRust | 430 | 0 | 91 | 0 |
ocaml/ocaml | OCamlCShell | 4.8k | +18 | 1k | +2 |
reasonml/reason | OCamlReasonRaku | 9.9k | +8 | 450 | 0 |
lichenscript/lichenscript | OCamlCJavaScript | 64 | 0 | 3 | 0 |
odin-lang/Odin | OdinC++C | 4.6k | +16 | 375 | +1 |
adereth/dactyl-keyboard | OpenSCADClojure | 2.7k | 0 | 826 | 0 |
tecosaur/emacs-config | OrgCSSSCSS | 961 | 0 | 126 | 0 |
TES5Edit/TES5Edit | PascalRich Text FormatOther | 637 | +3 | 125 | 0 |
benjamimgois/goverlay | PascalOther | 311 | +1 | 35 | 0 |
nodemcu/nodemcu-flasher | PascalOther | 1.9k | +1 | 787 | 0 |