Alternatives and similar repositories for godel

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

• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆172Updated 10 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last year
• shlomif / primesieve-python
  Fast prime number generator. Python bindings for the primesieve C++ library
  ☆139Updated last year
• KavehYousefi / Esoteric-programming-languages
  Contains implementations of esoteric programming languages.
  ☆13Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆85Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated last week
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆455Updated 6 years ago
• graue / esofiles
  The Esoteric File Archive
  ☆104Updated last year
• darrenks / golfscript
  A simple stack based code golf language
  ☆26Updated 3 years ago
• cutelyaware / magiccube4d
  Automatically exported from code.google.com/p/magiccube4d
  ☆76Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆295Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last week
• superpermutators / superperm
  ☆127Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆103Updated 5 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆183Updated 4 years ago
• elikaski / BF-it
  A C-like language to Brainfuck compiler, written in Python
  ☆133Updated 10 months ago
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆129Updated 3 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• catseye / Befunge-93
  MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!
  ☆103Updated 6 years ago
• BigZaphod / COW
  The COW Programming Language
  ☆83Updated last year
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• caliconiko / shapes
  A graphical shape based esolang
  ☆34Updated 2 years ago
• he7850 / Prolog-chess-game
  ☆18Updated 6 years ago
• ccz181078 / Coq-BB5
  ☆344Updated 3 weeks ago
• rzach / forallx-yyc
  UCalgary version of forallx, an introduction to formal logic
  ☆111Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆48Updated last year
• duckythescientist / obfuscatedLife
  Conway's Game of Life in 9 lines of C
  ☆305Updated 9 years ago
• charcoal-lang / Charcoal
  A concise language for sketching ASCII art.
  ☆224Updated 10 months ago