Popular repositories Loading

1. logical-pinning logical-pinning Public

   The mechanized formalization of logical pinning, a lightweight borrowing model and proof discipline for precise reasoning about container-internal pointers.

   Rocq Prover 7

2. librrd librrd Public

   Railroad diagram (RRD) layout library. Try it out at https://systemf.epfl.ch/etc/librrd/.

   Scala 3

3. dvar-track dvar-track Public

   An Emacs Lisp dynamic variable reference tracker

   C 2

4. JumboTrace JumboTrace Public

   Java 1

5. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 1

6. optitrust optitrust Public

   Forked from charguer/optitrust

   OptiTrust (w/ RVM case study)

   OCaml 1