Popular repositories Loading

1. frankjnr frankjnr Public

   Another implementation of Frank.

   Haskell 70 5

2. tiger tiger Public

   a compiler implementation

   C 55 25

3. franklyfrank franklyfrank Public

   A prototype implementation of the Frank programming language

   OCaml 17 2

4. triangulating-context-lemmas triangulating-context-lemmas Public

   Formalisation accompanying paper submission

   Agda 3

5. msci msci Public

   MSci project: Development of a formalisation of "Propositions as Sessions"

   Coq 2

6. geany geany Public

   Forked from geany/geany

   A fast and lightweight IDE

   C