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:
- A repository for the Quest For Tetris☆183Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 2 weeks ago
- Programming with pure lambda calculus☆133Updated this week
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- Cicada Language (PLCT little team)☆94Updated 11 months ago
- Compile-time LISP interpreter on C macro preprocessor☆145Updated 7 years ago
- Animations of lambda term reduction sequences☆154Updated 7 years ago
- Study of language design and implementation.☆66Updated 5 years ago
- An implementation of interaction nets in JS.☆132Updated 4 months ago
- John Tromp homepage☆28Updated last month
- Dancing Quine Chameleon☆43Updated 10 years ago
- Books on programming language theory and linguistics in general.☆55Updated 4 years ago
- ☆32Updated 2 years ago
- Catalog of visual lambda calculi☆161Updated 4 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆120Updated 5 years ago
- Cicada Language (solo version)☆129Updated 11 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- A heavily optimizing Brain**** interpreter written in Bash!☆32Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 10 months ago
- A Lisp Dialect☆44Updated 9 years ago
- Fractran interpreter in Fractran☆35Updated 10 years ago
- SKI combinators☆56Updated 8 years ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Updated 4 years ago
- My personal repository of formally verified mathematics.☆307Updated last month
- A system to amalgamate any features you want into any language you need☆26Updated 3 years ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆95Updated 6 years ago
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- "Research" on how to best optimize brainfuck code.☆74Updated 3 years ago
- Very Naive MIPS CPU using Clash☆29Updated 4 years ago