Pinned Loading

1. awslabs/s2n-bignum awslabs/s2n-bignum Public

   OCaml 227 52

2. strata-org/Strata strata-org/Strata Public

   Lean 233 55

3. jrh13/hol-light jrh13/hol-light Public

   The HOL Light theorem prover

   OCaml 550 99

4. AliveToolkit/alive2 AliveToolkit/alive2 Public

   Automatic verification of LLVM optimizations

   C++ 1.2k 159

5. mlir-tv mlir-tv Public

   A translation validation framework for MLIR

   C++ 101 14

6. hol-light-web hol-light-web Public

   HOL Light that runs on a web browser

   Standard ML