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:
- Zombie chan revive!☆27Updated last year
- A proof assistant and a dependently-typed language☆345Updated this week
- Cicada Language (PLCT little team)☆94Updated last year
- Books on programming language theory and linguistics in general.☆55Updated 4 years ago
- RowScript programming language, making a better browser world☆126Updated 2 weeks ago
- ☆23Updated 2 years ago
- Another custom level pack for Baba Is You.☆23Updated 4 years ago
- x86 C compiler written in untyped lambda calculus☆680Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆213Updated this week
- Cicada Language (solo version)☆128Updated last year
- [WIP] 我的世界（Minecraft）红石电路计算机资料集索引☆18Updated 6 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- A low-level, postfix, functional programming language that compiles to WebAssembly☆26Updated last month
- A Lisp Dialect☆45Updated 9 years ago
- 😎TT☆241Updated 2 months ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- (touhou / 東方) x86 Operating System animating BadApple.☆63Updated last year
- An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…☆42Updated 6 months ago
- Random puzzle generator for The Witness☆152Updated this week
- A programming language supporting most of both declarative and imperative programming☆52Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆415Updated this week
- 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
- Placeholder for the OwO compiler☆60Updated 6 years ago
- Demo for high-performance type theory elaboration☆579Updated 2 years ago
- ☆12Updated 4 years ago
- Staged compilation with dependent types☆187Updated 8 months ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆121Updated 5 years ago
- Type Theory☆29Updated 9 years ago
- A series of down-to-earth articles on implementing type inference☆165Updated 5 years ago
- A simple library for reporting compiler/interpreter errors☆268Updated last year