Ataraxia-Mechanica / InfiniSweeperLinks
☆32Updated 2 years ago
Alternatives and similar repositories for InfiniSweeper
Users that are interested in InfiniSweeper are comparing it to the libraries listed below
Sorting:
- Cicada Language (PLCT little team)☆94Updated 10 months ago
- Zombie chan revive!☆26Updated last year
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆42Updated 3 months ago
- An Algorithm for Compressing Space and Time☆44Updated 7 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated 5 months ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- Another custom level pack for Baba Is You.☆23Updated 3 years ago
- Cicada Language (solo version)☆129Updated 10 months ago
- A proof assistant and a dependently-typed language☆335Updated this week
- A Lisp Dialect☆44Updated 9 years ago
- The compile-time, data-free filesystem.☆170Updated last year
- A Brainfuck interpreter written by Brainfuck.☆60Updated 7 years ago
- A programming language supporting most of both declarative and imperative programming☆52Updated last week
- A Celeste Mod for Speedrun Practice☆29Updated last week
- Rust programming, in Chinese.☆44Updated 2 years ago
- RowScript programming language, making a better browser world☆123Updated last week
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆125Updated last year
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated 9 months ago
- Web application to create and solve Sudokus and Puzzles☆131Updated 5 months ago
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated 4 months ago
- Minecraft☆233Updated 3 years ago
- A Language with Dependent Data and Codata Types☆124Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆209Updated this week
- x86 C compiler written in untyped lambda calculus☆668Updated 3 years ago
- Create, Share, and Solve puzzles from The Witness☆36Updated 2 years ago
- ☆23Updated 2 years ago
- [WIP] 我的世界（Minecraft）红石电路计算机资料集索引☆18Updated 6 years ago
- The Slate Interactive Theorem Prover☆23Updated 2 years ago