Alternatives and similar repositories for godel

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

• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆197Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• BigZaphod / COW
  The COW Programming Language
  ☆84Updated last year
• OlivierNicole / haskell-chess
  A very simple chess engine written in Haskell (work in progress).
  ☆19Updated 7 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆302Updated this week
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆204Updated 2 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆94Updated 2 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆58Updated 5 months ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated 3 weeks ago
• superpermutators / superperm
  ☆126Updated 2 years ago
• thatch / pybraces
  Proof of concept for using silly encodings for source files
  ☆21Updated 11 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated last year
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆117Updated last month
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆69Updated last week
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆462Updated 7 years ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆22Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆88Updated 2 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆69Updated 10 months ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆67Updated 8 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• abrudz / dyalog-apl-extended
  Dyalog APL Extended
  ☆28Updated last year
• ciphergoth / pylambdac
  A lambda calculus interpreter in Python
  ☆20Updated 4 years ago