brianfairservice

Washington, DC

Pinned Repositories

libehp
fork of https://git.zephyr-software.com/opensrc/libehp
Language:C++00
paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
Language:Common Lisp00
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.
Language:C++00
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.
Language:C++888197

brianfairservice/paip-lisp
Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"
brianfairservice/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.
Language:C++
brianfairservice/libehp
fork of https://git.zephyr-software.com/opensrc/libehp
Language:C++