Pinned Loading

1. vzaliva/helix vzaliva/helix Public

   Formally verified operator language and rewriting engine for high-performance computing

   Coq 30 4

2. vzaliva/cn vzaliva/cn Public

   Forked from rems-project/cn

   CN separation logic refinement type system for C

   OCaml 1

3. formal-land/rocq-of-rust formal-land/rocq-of-rust Public

   Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

   Rocq Prover 1.1k 40

4. artagnon/bonak artagnon/bonak Public

   🧊 An indexed construction of semi-simplicial and semi-cubical sets

   TeX 30 5

5. preda/gpuowl preda/gpuowl Public

   GPU Mersenne primality test.

   C 211 53

6. tdulcet/AutoPrimeNet tdulcet/AutoPrimeNet Public

   🖧 The PrimeNet automated assignment handler program for the Great Internet Mersenne Prime Search (GIMPS)

   Python 19 5