mafm / HashLifeLinks
An Algorithm for Compressing Space and Time
☆47Updated 7 years ago
Alternatives and similar repositories for HashLife
Users that are interested in HashLife are comparing it to the libraries listed below
Sorting:
- Algorithmic Information Theory, using Binary Lambda Calculus☆197Updated 2 weeks ago
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated last year
- Jon Ripley's Brainfuck Lost Kingdom running in your browser.☆45Updated 9 months ago
- Fractran interpreter in Fractran☆36Updated 11 years ago
- Programming with pure lambda calculus☆140Updated last month
- Dancing Quine Chameleon☆44Updated 10 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Study of language design and implementation.☆66Updated 5 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Cicada Language (solo version)☆128Updated last year
- A repository for the Quest For Tetris☆185Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 8 months ago
- SKI combinators☆56Updated 8 years ago
- "Research" on how to best optimize brainfuck code.☆75Updated 3 years ago
- A simple Brainfuck JIT written as a learning exercise.☆16Updated 6 years ago
- An implementation of interaction nets in JS.☆132Updated 6 months ago
- A quine generator☆313Updated 7 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- Compiler for Entropy, a programming language where all data is in a constant state of decay☆62Updated last month
- Animations of lambda term reduction sequences☆162Updated 7 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- My personal repository of formally verified mathematics.☆310Updated 2 weeks ago
- Cicada Language (PLCT little team)☆94Updated last year
- metamath proof enumerators and other things☆92Updated 2 months ago
- Continued fraction library☆32Updated 5 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆121Updated 5 years ago
- Placeholder for the OwO compiler☆60Updated 6 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- APL is the greatest language ever☆68Updated last year