Popular repositories Loading

1. git-repos git-repos Public

   generic

2. DeepC4Pip DeepC4Pip Public

   Coq

3. hierarchy-builder hierarchy-builder Public

   Forked from math-comp/hierarchy-builder

   High level commands to declare a hierarchy based on packed classes

   Prolog

4. DEC12 DEC12 Public

   Forked from 2xs/dec

   DEC1 and older version of DEC2

   Coq

5. InteractionTrees InteractionTrees Public

   Forked from DeepSpec/InteractionTrees

   A Library for Representing Recursive and Impure Programs in Coq

   Coq

6. jasmin_april2026 jasmin_april2026 Public

   Forked from jasmin-lang/jasmin

   Language for high-assurance and high-speed cryptography

   Rocq Prover