Alternatives and similar repositories for godel

Users that are interested in godel are comparing it to the libraries listed below

• taniki / comp.soc-of-philosophy
  computational sociology of philosophy
  ☆15Updated 9 years ago
• TechnoTanuki / Python_BMP
  A pure Python 2D/3D graphics library that outputs to windows bitmap format
  ☆33Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• Calysto / calysto_prolog
  A Prolog kernel for Jupyter
  ☆61Updated 6 years ago
• rzach / incompleteness-computability
  Textbook on Gödel's incompleteness theorems and computability theory
  ☆22Updated 5 months ago
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆29Updated 5 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆21Updated last year
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆129Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated last week
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆12Updated 8 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 8 months ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆58Updated last year
• nclarius / pyPL
  Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
  ☆20Updated 3 months ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆37Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 5 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆110Updated 10 months ago
• OlivierNicole / haskell-chess
  A very simple chess engine written in Haskell (work in progress).
  ☆18Updated 7 years ago
• surajx / proof-assistant
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆12Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• discretegames / hypercomplex
  A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.
  ☆26Updated 3 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆177Updated 2 weeks ago
• umitkaanusta / Jomini
  Historical battle simulation package for Python
  ☆49Updated 5 years ago
• socketteer / hallucinator
  botttom-up vr redux
  ☆25Updated 4 years ago
• aman2656 / text2emotion-library
  ☆55Updated 2 years ago
• caleb531 / automata
  A Python library for simulating finite automata, pushdown automata, and Turing machines
  ☆393Updated 3 weeks ago
• jerry-felipe / AI-PredictiveMaintenanceSystem
  The AI-PMS Microservice uses AI to predict aircraft system failures before they occur, optimizing maintenance and enhancing safety. This …
  ☆13Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 3 weeks ago
• jeffheaton / mergelife
  Evolve complex cellular automata with a genetic algorithm.
  ☆82Updated 2 months ago
• glacode / Yamma
  VSCode Extension - Proof Assistant for Metamath
  ☆12Updated last month