Pinned Loading

1. tptpParser tptpParser Public

   an xtext based parser for the tptp grammer.

   Java 8 2

2. GraphAutomata GraphAutomata Public

   a library for manipulating and learning graph automata

   Scala 9 4

3. DependentlyTypedPython DependentlyTypedPython Public

   a really jenky implementation of dependent types in (a very small subset of) python

   Python 7

4. calculus-of-constructions calculus-of-constructions Public

   a simple implementation of the pure calculus of constructions

   Scala 6 1

5. thesis thesis Public

   the source files for my thesis

   TeX 3

6. dDynamic dDynamic Public

   a minimal dependently typed language with equality resolving at runtime

   Haskell 5 1