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☆194Updated last week
- A repository for the Quest For Tetris☆183Updated 4 years ago
- metamath proof enumerators and other things☆92Updated last month
- Animations of lambda term reduction sequences☆156Updated 7 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- My personal repository of formally verified mathematics.☆308Updated last week
- Dancing Quine Chameleon☆43Updated 10 years ago
- BrainFuck just-in-time compiler☆31Updated 3 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Cicada Language (PLCT little team)☆94Updated last year
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆121Updated 5 years ago
- Cicada Language (solo version)☆129Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- The definite Conway's Game of Life implementation in your browser. Features an infinite field & Hashlife☆427Updated 5 years ago
- Programming with pure lambda calculus☆136Updated 3 weeks ago
- A simple Wolfram Language clone in Haskell☆245Updated 6 years ago
- A quine generator☆313Updated 7 years ago
- The Principia Rewrite☆228Updated last month
- Catalog of visual lambda calculi☆162Updated 5 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 4 years ago
- An implementation of interaction nets in JS.☆132Updated 5 months ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆200Updated last month
- Implementation of Gosper's hashlife algorithm☆39Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- A program for drawing knots and links, with support for importing images☆33Updated last year
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Group theory visualization software in the browser☆268Updated last year