Similar repositories to darius/unitcalc:

• darius/unitcalc github similar
• namin/refl-instr github similar
• webyrd/relational-unifier github similar
• namin/steps github similar
• austinhaas/goalie github similar
• kragen/dercuano github similar
• namin/reflective-towers github similar
• namin/blond github similar
• bloat/maze.logic github similar
• namin/clpset-miniKanren github similar
• rjpower/luajit-interpreter github similar
• webyrd/relational-cesk github similar
• webyrd/anti-unification github similar
• david-a-wheeler/mmverify.py github similar
• stamourv/partial-evaluation-tutorial github similar
• webyrd/slpKanren github similar
• martinmcclure/mist github similar
• darius/pythological github similar
• namin/propagators github similar
• miniKanren/simple-miniKanren github similar
• mndrix/microkanren-prolog github similar
• ProjectMAC/propagators github similar
• kmcallister/qoppa github similar
• webyrd/relational-parsing-with-derivatives github similar
• kstephens/tinyclos github similar
• acfoltzer/Molog github similar
• darius/cant github similar
• jdinunzio/forthos github similar
• webyrd/untitled-relational-interpreter-book github similar
• advancingdragon/meta github similar
• aviatorRHK/rpiForth github similar
• inforichland/yafc github similar
• threatgrid/pldb github similar
• mozart/mozart github similar
• soegaard/minipascal github similar
• JetBrains-Research/OCanren github similar
• SMLFamily/The-Definition-of-Standard-ML github similar
• namin/logically github similar
• gigasquid/babar github similar
• the-concurrent-schemer/scm github similar