Popular repositories Loading

1. WT-11907 WT-11907 Public

   TSan experiment

   C++

2. dotfiles dotfiles Public

   Configuration files and setup notes

   Emacs Lisp

3. wat wat Public

   Exploration and experimentation

4. clingo-mode clingo-mode Public

   Forked from llaisdy/clingo-mode

   An Emacs Major Mode for editing Answer Set Programs

   Emacs Lisp

5. clingo clingo Public

   Forked from potassco/clingo

   🤔 A grounder and solver for logic programs.

   C++

6. clingo-dl clingo-dl Public

   Forked from potassco/clingo-dl

   📏 Theory propagator for difference logic using clingo's theory language and C++ API.

   C++