Popular repositories Loading

1. Answer-Set-Programming-Algorithms Answer-Set-Programming-Algorithms Public

   Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

   Python 16

2. regr regr Public

   Regular Expression Tester

   Python 5

3. DPLL DPLL Public

   A simple DPLL implementation written in Haskell.

   Haskell 2

4. doqmnt doqmnt Public

   Doqmnt (pronounced "document") is a free Emacs library for automatically generating documentation for source code files. It was designed by Professors for use in an academic environment, although w…

   Emacs Lisp 1

5. Guerin_CSCI_222_Examples Guerin_CSCI_222_Examples Public

   C++ 1

6. Kattis-Solutions Kattis-Solutions Public

   Python 1