Beast code in Giters

Christopher Gateley's starred repositories

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTNOASSERTION99300

99 Prolog Problems in Clojure core.logic

Language:Clojure1800

Yet another PEG parser combinator library and DSL

Language:Python5800

co.py.cat extends Hofstadter's, pythonically

Language:PythonMIT5300

A library for doing stuff to other stuff.

Language:Clojure21300

UTF-8 rope library for C

Language:CNOASSERTION27000

Simple spaced repetition flashcard software.

Language:PythonNOASSERTION6600

Farbrausch demo tools 2001-2011

Language:C++335900

A Clojure wrapper for the Java version of the PowerLoom knowledge representation and reasoning system

Language:ClojureLGPL-3.01300

A standalone and lightweight C library

Language:CMIT410500

A lightweight dependency injection framework for Objective-C

Language:Objective-CMIT184700

The Push programming language and the PushGP genetic programming system implemented in Clojure.

Language:ClojureEPL-1.033100

C based OO portable data structure library

Language:C12900