Alternatives and similar repositories for InfiniSweeper

Users that are interested in InfiniSweeper are comparing it to the libraries listed below

• blockfish / blockfish
  An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…
  ☆41Updated 5 months ago
• MarisaKirisame / zombie
  Zombie chan revive!
  ☆27Updated last year
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆344Updated last week
• DemoJameson / Celeste.SpeedrunTool
  A Celeste Mod for Speedrun Practice
  ☆30Updated last week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• IFeelBloated / Type-System-Zoo
  ☆128Updated 2 years ago
• jbzdarkid / witness-puzzles
  Create, Share, and Solve puzzles from The Witness
  ☆36Updated 2 years ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆212Updated this week
• MarisaKirisame / MemoryBalancer
  ☆23Updated 2 years ago
• EverestAPI / CelesteTAS-EverestInterop
  Everest interop for DevilSquirrel's CelesteTAS
  ☆74Updated last week
• lynn / toki-wile
  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
• silverhawke249 / nonlinearity
  Another custom level pack for Baba Is You.
  ☆23Updated 4 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆55Updated 4 years ago
• BowenFu / hspp
  hspp: An experimental library to bring Haskell Style Programming to C++.
  ☆170Updated 3 years ago
• geelon / type-theory
  Type Theory
  ☆27Updated 9 years ago
• fiorescarlatto / four-tris
  four-tris is a training tool for block-stacking games, built to allow you to quickly explore different situations and review your games.
  ☆118Updated 4 months ago
• misakamm / MisaMino
  ☆114Updated 10 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated last month
• eleanormally / hanziyu
  Sources and Code for Hanziyu Conlang
  ☆43Updated 2 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated last year
• mafm / HashLife
  An Algorithm for Compressing Space and Time
  ☆47Updated 7 years ago
• davidstone / technical-machine
  The world's most advanced Pokemon AI
  ☆23Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• Ununoctium117 / fumosite
  Source code for https://fumo.website. Pushes to master are automatically deployed. Pull requests welcome!
  ☆82Updated last year
• Stabyourself / nottetris2
  A mess
  ☆118Updated 4 years ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆126Updated last week
• foreverbell / BadAppleOS
  (touhou / 東方) x86 Operating System animating BadApple.
  ☆63Updated last year
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• VampireFlower / CelesteTAS
  TAS files for the game Celeste
  ☆73Updated last week
• akemimadoka / GC
  ☆12Updated 4 years ago