Popular repositories Loading

1. es-quizzes-tutor es-quizzes-tutor Public

   Java

2. lisp lisp Public

   An implementation of a LISP dialect that allows pattern matching and anonymous recursion.

   C

3. ghc ghc Public

   Forked from ghc/ghc

   Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

   Haskell

4. workshop workshop Public

5. smtcoq smtcoq Public

   Forked from smtcoq/smtcoq

   Communication between Coq and SAT/SMT solvers

   OCaml

6. logrel-mltt logrel-mltt Public

   Forked from CoqHott/logrel-mltt

   A Logical Relation for Martin-Löf Type Theory in Agda

   HTML