Popular repositories Loading

1. implicitcalculus implicitcalculus Public

   Interpreter of Implicit Calculus

   Haskell 9

2. Lstar Lstar Public

   Implementation of Lstar algorithm in Haskell

   Haskell 5

3. Bshouty Bshouty Public

   Bshouty's CDNF algorithm

   Haskell 2

4. ChimpChat ChimpChat Public

   Java 1

5. Supervisor Supervisor Public

   Java 1

6. vcprompt vcprompt Public

   Forked from djl/vcprompt

   Version control information in your prompt

   Python 1