Similar repositories to fnogatz/CHR-Constraint-Server:
fnogatz/CHR-Constraint-Server
github
similar
gibiansky/IHaskell
github
similar
SWI-Prolog/contrib-space
github
similar
FelixHenninger/socialgolfer.js
github
similar
jocap/russian-numbers
github
similar
hessammehr/Logic.jl
github
similar
mthom/prolog_parser
github
similar
Limmen/erl_pengine
github
similar
Anniepoo/swiplchrtut
github
similar
alehander92/hatlog
github
similar
ianhorswill/UnityProlog
github
similar
maxsnew/modal-scheme
github
similar
fnogatz/swivm
github
similar
theoremprover-museum/logic-theorist
github
similar
darius/cant
github
similar
pvto/konte-art
github
similar
enkiv2/mycroft
github
similar
ljedrz/lambda_calculus
github
similar
jiprolog/jiprolog
github
similar
jldupont/prolog.js
github
similar
fnogatz/CHR.js
github
similar
evoldoers/biomake
github
similar
AmziLS/AmziProlog
github
similar
modula3/cm3
github
similar
pkamenarsky/typedraw
github
similar
namin/staged-miniKanren
github
similar
IDNI/TML
github
similar
metagol/metagol
github
similar
Web-Prolog/swi-web-prolog
github
similar
teyjus/teyjus
github
similar
dan-rodrigues/icestation-32
github
similar
trealla-prolog/trealla
github
similar
daseyb/pathgraph
github
similar
ptal/oak
github
similar
triska/clpfd
github
similar
triska/clpz
github
similar
webyrd/miniKanren-with-symbolic-constraints
github
similar
PlasmaLang/plasma
github
similar
astampoulis/makam
github
similar
chrisdone/duet
github
similar