Similar repositories to bboskin/syllogistic-provers:

• bboskin/syllogistic-provers github similar
• pixijs/pixi.js github similar
• webyrd/n-grams-for-synthesis github similar
• jsmaniac/tr-immutable github similar
• namin/lms-regexp github similar
• pandas-profiling/pandas-profiling github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• webyrd/interleaving-small-step-evaluation github similar
• jeffhhk/racket-web-server-troubleshooting github similar
• shaunlebron/parinfer github similar
• iitalics/-lang-musiclibrary github similar
• webyrd/normalization-by-evaluation github similar
• webyrd/relational-interp-in-SMT github similar
• hamukazu/quadratic_sieve github similar
• srfoster/rchess github similar
• japoorv/biohacker-medikanren github similar
• gregr/dKanren github similar
• namin/abi github similar
• webyrd/MU-puzzle github similar
• iitalics/mactypes github similar
• maxsnyder2000/TheRelationalParser github similar
• jasonhemann/small-micro-w-disequality github similar
• webyrd/first-class-macros github similar
• wilbowma/turnstile-drracket github similar
• webyrd/igors-turing-machine github similar
• webyrd/mk-metacircular-interp github similar
• iitalics/rust-redex github similar
• gregr/tutorial-relational-interpreters github similar
• newptcai/BeeEncoder.jl github similar
• k-tsushima/Shin-Barliman github similar
• Artish357/RelateJS github similar
• stassa/thelma github similar
• webyrd/strange-loop-2013 github similar
• nouiz/theano_sympy github similar
• webyrd/scheme-fun-hacking github similar
• webyrd/relational-amb github similar
• stuhlmueller/scheme-transforms github similar