This is stars and forks stats for /mit-plv/fiat-crypto repository. As of 26 Apr, 2024 this repository has 622 stars and 163 forks.
Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives Building This repository requires Coq 8.16 or later. Note that if you install Coq from Ubuntu aptitude packages, you need libcoq-ocaml-dev in addition to coq. Note that in some cases (such as installing Coq via homebrew on Mac), you may also need to install ocaml-findlib (for ocamlfind). The extracted OCaml code for the standalone binaries requires OCaml 4.08 or later. We suggest downloading the latest version of...
Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives Building This repository requires Coq 8.16 or later. Note that if you install Coq from Ubuntu aptitude packages, you need libcoq-ocaml-dev in addition to coq. Note that in some cases (such as installing Coq via homebrew on Mac), you may also need to install ocaml-findlib (for ocamlfind). The extracted OCaml code for the standalone binaries requires OCaml 4.08 or later. We suggest downloading the latest version of...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| codepath/flixster_starter | CSS | 3 | 0 | 209 | 0 |
| cptchuckles/SharpScape | C#HTMLCSS | 1 | 0 | 9 | -2 |
| learn-co-curriculum/react-hooks-information-flow-code-along | CSSHTMLJavaScript | 11 | 0 | 2.8k | +12 |
| andreasgrafen/cascade | CSS | 1.1k | 0 | 126 | 0 |
| NVIDIA/mpi-acx | CudaC++C | 29 | 0 | 4 | 0 |
| hungps/flutter_pokedex | DartC++CMake | 2.1k | +20 | 523 | +6 |
| Gioni06/terminal.css | EJSCSSJavaScript | 972 | 0 | 52 | 0 |
| asciinema/asciinema-server | ElixirHTMLSCSS | 2.1k | -1 | 254 | 0 |
| thehaigo/live_onnx | ElixirCSSHTML | 46 | 0 | 5 | 0 |
| atgreen/emacs | Emacs LispTeXMakefile | 5 | 0 | 0 | 0 |