Pinned Loading

1. gopcaml-mode gopcaml-mode Public

   [MIRROR] Ultimate Ocaml Editing Mode

   OCaml 23

2. verse-lab/ceramist verse-lab/ceramist Public

   Verified hash-based AMQ structures in Coq

   Coq 128 5

3. verse-lab/sisyphus verse-lab/sisyphus Public

   Mostly Automated Proof Repair for Verified Libraries

   OCaml 17 1

4. LibreRef LibreRef Public

   LibreRef is a free as in freedom digital referencing tool for artists.

   OCaml 7

5. ocamlot ocamlot Public

   An Activitypub server in OCaml!

   OCaml 73 5

6. emacs-viewer emacs-viewer Public

   A web frontend for your Org-files (100% faithful to GNU+Emacs!)

   Common Lisp 129