Popular repositories Loading

1. sasylf sasylf Public

   Educational Proof Assistant for Type Theory

   Java 73 9

2. twelf-library twelf-library Public

   Library classes for the Twelf Proof System

   SWIG 21 1

3. aps aps Public

   Research-Quality implementations of my dissertation language APS (1996)

   C 4 3

4. locked-tests locked-tests Public

   Locked JUnit test cases for student projects. Inspired by DeNero and others: Problems Before Solutions (2015)

   Java 3

5. scala-bison scala-bison Public

   Forked from djspiewak/scala-bison

   A recursive ascent/descent parser generator for Scala

   Scala 2

6. twee-plugin twee-plugin Public

   Eclipse plugin for Twee3 + Sugarcube

   Java