Pinned Loading

1. logsem/cerise logsem/cerise Public

   Formalisation of a capability machine and principles for reasoning about security properties

   Rocq Prover 29 8

2. coq-procrastination coq-procrastination Public

   A small Coq library for collecting side conditions and deferring their proof

   TeX 26 2

3. ocaml-i3ipc ocaml-i3ipc Public

   A pure OCaml implementation of the i3 IPC protocol

   OCaml 27 7

4. tyxml-translator tyxml-translator Public

   A sugar-coated translation from HTML to Tyxml combinators

   OCaml 11 1

5. pp_loc pp_loc Public

   Pretty-printing for error source locations

   OCaml 39 5

6. ocaml-nanosvg ocaml-nanosvg Public

   NanoSVG + OCaml bindings

   OCaml 10