Popular repositories Loading

1. souffle souffle Public

   Forked from souffle-lang/souffle

   Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

   C++

2. libehp libehp Public

   Forked from aeflores/libehp

   fork of https://git.zephyr-software.com/opensrc/libehp

   C++

3. paip-lisp paip-lisp Public

   Forked from norvig/paip-lisp

   Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

   Common Lisp

4. graph graph Public

   Forked from eschulte/graph

   Simple graph data structure and algorithms

   Common Lisp