Ataraxia-Mechanica / InfiniSweeperLinks
☆32Updated last year
Alternatives and similar repositories for InfiniSweeper
Users that are interested in InfiniSweeper are comparing it to the libraries listed below
Sorting:
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆41Updated last month
- Another custom level pack for Baba Is You.☆23Updated 3 years ago
- Zombie chan revive!☆26Updated last year
- Cicada Language (PLCT little team)☆94Updated 8 months ago
- An Algorithm for Compressing Space and Time☆42Updated 7 years ago
- four-tris is a training tool for block-stacking games, built to allow you to quickly explore different situations and review your games.☆109Updated 2 years ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- A proof assistant and a dependently-typed language☆320Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- ☆110Updated 10 years ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆57Updated 9 months ago
- Specification for the Tetris Bot Protocol☆21Updated 4 years ago
- A Lisp Dialect☆46Updated 9 years ago
- Cicada Language (solo version)☆128Updated 8 months ago
- Minecraft☆225Updated 2 years ago
- a constructed language, that combines the parts of Ithkuil I find interesting with the parts of Toki Pona I find cute and learnable☆25Updated 2 years ago
- RowScript programming language, making a better browser world☆123Updated 2 weeks ago
- Random puzzle generator for The Witness☆149Updated 3 months ago
- (touhou / 東方) x86 Operating System animating BadApple.☆60Updated last year
- ☆23Updated 2 years ago
- x86 C compiler written in untyped lambda calculus☆665Updated 2 years ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆32Updated last year
- The extremely portable, extremely extensible line editor☆13Updated 3 years ago
- Source code for https://fumo.website. Pushes to master are automatically deployed. Pull requests welcome!☆81Updated last year
- surreal cellular automata☆349Updated 2 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated last week
- A Celeste Mod for Speedrun Practice☆29Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆391Updated this week
- Create, Share, and Solve puzzles from The Witness☆36Updated last year