A repository for the Quest For Tetris
☆185Apr 12, 2021Updated 4 years ago
Alternatives and similar repositories for QFT
Users that are interested in QFT are comparing it to the libraries listed below
Sorting:
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78May 4, 2019Updated 6 years ago
- Language that compiles to QFTASM☆15Aug 18, 2019Updated 6 years ago
- ☆18Sep 28, 2017Updated 8 years ago
- A place to draft the answers for the tetris PPCG challenge☆31Sep 13, 2017Updated 8 years ago
- ☆31Apr 11, 2024Updated last year
- An esoteric language based on logic gates.☆13Feb 23, 2021Updated 5 years ago
- Dodos Only Divide Or Surrender☆14Mar 18, 2018Updated 7 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- Miscellaneous esoteric programming languages.☆39Aug 12, 2025Updated 6 months ago
- A two-dimensional, triangular programming language.☆18Apr 16, 2021Updated 4 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 3 months ago
- Javascript emulator for intel 4004/4040☆18Dec 6, 2024Updated last year
- Code for the post "Elliptic Curves as Python Objects" implementing elliptic curve point addition over rational numbers.☆21Jun 9, 2020Updated 5 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆534Aug 5, 2025Updated 7 months ago
- αProlog☆18Jul 9, 2023Updated 2 years ago
- A Rust library to represent numbers as large as 10^^1e308 and as small as 10^-10^^1e308. Designed for incremental games.☆12May 20, 2024Updated last year
- Portable high-level assembler with authentic C syntax☆25Jul 1, 2022Updated 3 years ago
- Version 1.1 of my 8-bit, TTL computer.☆12Feb 6, 2025Updated last year
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- Minimal & malleable language for symbiotic end-user programming☆34Jan 31, 2026Updated last month
- A Julia package for controlling NetLogo☆10Jul 28, 2018Updated 7 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 11 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 10 years ago
- Provides a selection of 12 logic gates that you can interconnect with patch cables to make a variety of different logic circuits.☆11May 5, 2024Updated last year
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- A terse declarative logic programming language☆118Jul 28, 2020Updated 5 years ago
- Cellular automata search program☆26Jul 7, 2022Updated 3 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 3 years ago
- When will the next leap second happen?☆12Jan 15, 2026Updated last month
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- Hyperoperations for JavaScript!☆13Jan 1, 2026Updated 2 months ago
- A heuristic procedure for proving inequalities☆34Sep 4, 2018Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆198Feb 16, 2026Updated 2 weeks ago
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago