Similar repositories to theoremprover-museum/logic-theorist:

• theoremprover-museum/logic-theorist github similar
• tootsuite/mastodon github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• Eloston/ungoogled-chromium github similar
• csete/gqrx github similar
• jggames/LogicalTheorist github similar
• ianhorswill/UnityProlog github similar
• bobatkey/interactive-natural-deduction github similar
• theoremprover-museum/LCF77 github similar
• pixijs/pixi.js github similar
• spicydonuts/purescript-spectacle-presentation github similar
• fritzlabs/Awesome-Mobile-Machine-Learning github similar
• hecrj/iced github similar
• k6io/k6 github similar
• micahflee/onionshare github similar
• tuvtran/project-based-learning github similar
• pandas-profiling/pandas-profiling github similar
• blockstack/stacks github similar
• charlescook/sregex github similar
• AdrienChampion/fast_expr github similar
• fnogatz/CHR-Constraint-Server github similar
• jonsterling/twelf-nbe github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• sanxiyn/rree github similar
• FelixHenninger/socialgolfer.js github similar
• jocap/russian-numbers github similar
• hessammehr/Logic.jl github similar
• skeuchel/needle github similar
• theoremprover-museum/HOL88 github similar
• sto0pkid/swipl-tt github similar
• kcsmnt0/proof-trees github similar
• EggBaconAndSpam/eggbaconandspam.github.io github similar
• poplmark-reloaded/poplmark-reloaded github similar
• xnning/Row-and-Bounded-via-Disjoint github similar
• lee-naish/Pawns github similar
• Limmen/erl_pengine github similar
• erszcz/erlang-and-rust-teaser github similar
• prathyvsh/history-of-lambda-calculus github similar
• machaerus/sophia github similar