mafm / HashLifeLinks
An Algorithm for Compressing Space and Time
☆42Updated 7 years ago
Alternatives and similar repositories for HashLife
Users that are interested in HashLife are comparing it to the libraries listed below
Sorting:
- Animations of lambda term reduction sequences☆139Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- Cicada Language (PLCT little team)☆93Updated 6 months ago
- Cicada Language (solo version)☆128Updated 6 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Golly, a Game of Life simulator (unofficial mirror from SourceForge)☆55Updated last week
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Study of language design and implementation.☆67Updated 4 years ago
- Fractran interpreter in Fractran☆34Updated 10 years ago
- Compile-time LISP interpreter on C macro preprocessor☆144Updated 7 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆197Updated 2 months ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- Programming with pure lambda calculus☆111Updated 3 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆56Updated 2 years ago
- An implementation of interaction nets in JS.☆132Updated last month
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- "Research" on how to best optimize brainfuck code.☆72Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Metamath program - source code for the Metamath executable☆82Updated 2 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆94Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- A quine generator☆314Updated 6 years ago
- Educational Proof Assistant for Type Theory☆74Updated 11 months ago
- A compiler for the esoteric language Piet, targeting multiple backends.☆95Updated 5 years ago
- APL is the greatest language ever☆69Updated 7 months ago