Similar repositories to tgk/propaganda-a-declarative-programming-model-in-clojure:
tgk/propaganda-a-declarative-programming-model-in-clojure
github
similar
gibiansky/IHaskell
github
similar
orsinif/kProbLog
github
similar
fnogatz/babel-plugin-chr
github
similar
arademaker/SALC
github
similar
mndrix/binprolog
github
similar
epost/purescript-datalog-parsers
github
similar
heroku/lein-heroku
github
similar
mndrix/func
github
similar
terminusdb/terminus_store_prolog
github
similar
CategoricalData/HoTT-categories
github
similar
fifth-postulate/julian
github
similar
RobertHarper/hott-notes
github
similar
lf94/paizo-programmer
github
similar
rigetti/oqaml
github
similar
namin/propagators
github
similar
mangpo/chlorophyll
github
similar
vihart/hypernom
github
similar
alanb2718/wallingford
github
similar
friguzzi/cplint
github
similar
clojurewerkz/machine_head
github
similar
drobilla/serd
github
similar
tgk/propaganda
github
similar
SWI-Prolog/swipl-wasm
github
similar
wouterbeek/prolog_library_collection
github
similar
fnogatz/CHR.js
github
similar
logic-and-learning-lab/Popper
github
similar
knowrob/knowrob
github
similar
Provisdom/spectomic
github
similar
coq-community/corn
github
similar
clojurewerkz/titanium
github
similar
repl-electric/cassiopeia
github
similar
ElementsProject/scriptless-scripts
github
similar
CorticalComputer/Book_NeuroevolutionThroughErlang
github
similar
juxt/bolt
github
similar
teyjus/teyjus
github
similar
Quantomatic/quantomatic
github
similar
ilyasergey/pnp
github
similar
ptaoussanis/touchstone
github
similar
triska/clpz
github
similar