jackolantern / godelLinks
Encodes and decodes "Gödel Numbers" as described in the book "Gödel's Proof" by Ernest Nagel and James R. Newman.
☆20Updated 8 years ago
Alternatives and similar repositories for godel
Users that are interested in godel are comparing it to the libraries listed below
Sorting:
- A computer in Conway's game of life☆172Updated 10 months ago
- metamath proof enumerators and other things☆91Updated last year
- Fast prime number generator. Python bindings for the primesieve C++ library☆139Updated last year
- Contains implementations of esoteric programming languages.☆13Updated this week
- Turing machine simulator in HTML/Javascript☆85Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated last week
- Formalizations of Gödel's Ontological Proof of God's Existence☆455Updated 6 years ago
- The Esoteric File Archive☆104Updated last year
- A simple stack based code golf language☆26Updated 3 years ago
- Automatically exported from code.google.com/p/magiccube4d☆76Updated last year
- Metamath source file for logic and set theory☆295Updated this week
- Python implementation of the monster group☆53Updated last week
- ☆127Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Functional golfing language inspired by Haskell.☆78Updated 4 years ago
- GUI for glider logic in Conway's game of life.☆103Updated 5 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A C-like language to Brainfuck compiler, written in Python☆133Updated 10 months ago
- Scalable computer implemented in the game of life.☆129Updated 3 years ago
- ☆343Updated 7 years ago
- MIRROR of https://codeberg.org/catseye/Befunge-93 : The NEW reference distribution for Befunge-93!☆103Updated 6 years ago
- The COW Programming Language☆83Updated last year
- A two-dimensional, triangular programming language.☆18Updated 4 years ago
- A graphical shape based esolang☆34Updated 2 years ago
- ☆18Updated 6 years ago
- ☆344Updated 3 weeks ago
- UCalgary version of forallx, an introduction to formal logic☆111Updated last month
- A computer algebra system for research in combinatorial game theory☆48Updated last year
- Conway's Game of Life in 9 lines of C☆305Updated 9 years ago
- A concise language for sketching ASCII art.☆224Updated 10 months ago