Popular repositories Loading

1. wicd-mode.el wicd-mode.el Public

   Client for the Wicd network connection manager written in Emacs Lisp

   Emacs Lisp 4 1

2. dklib dklib Public

   General purpose, hand-written, dedukti files

   Makefile 2 4

3. dedukti-mode dedukti-mode Public

   Emacs major mode for Dedukti files

   Emacs Lisp 1 2

4. opam-repository opam-repository Public

   Forked from ocaml/opam-repository

   Main public package repository for OPAM, the source package manager of OCaml.

   Shell 1

5. kubatipo kubatipo Public

   Attempt to encode Cubical Type Theory in Dedukti

   Coq 1 1

6. Dedukti Dedukti Public

   Forked from Deducteam/Dedukti

   Implementation of the λΠ-calculus modulo rewriting

   OCaml 1