Alternatives and similar repositories for InfiniSweeper

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

• silverhawke249 / nonlinearity
  Another custom level pack for Baba Is You.
  ☆23Updated 3 years ago
• blockfish / blockfish
  An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…
  ☆39Updated last year
• MarisaKirisame / MemoryBalancer
  ☆23Updated 2 years ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 5 months ago
• jbzdarkid / witness-puzzles
  Create, Share, and Solve puzzles from The Witness
  ☆36Updated last year
• MarisaKirisame / zombie
  Zombie chan revive!
  ☆26Updated last year
• EverestAPI / CelesteTAS-EverestInterop
  Everest interop for DevilSquirrel's CelesteTAS
  ☆75Updated last week
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 6 months ago
• DemoJameson / Celeste.SpeedrunTool
  A Celeste Mod for Speedrun Practice
  ☆27Updated last week
• CelestialCartographers / Loenn
  A Visual Map Maker and Level Editor for the game Celeste but better than the other one
  ☆188Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 6 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 3 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆177Updated last month
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated 2 months ago
• sigma144 / witness-randomizer
  Random puzzle generator for The Witness
  ☆145Updated last month
• imlyzh / emei
  The 峨眉 (EMei) JIT/AOT backend framework.
  ☆18Updated 7 months ago
• lucifer1004 / xiu
  Rust programming, in Chinese.
  ☆39Updated 2 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• CelestialCartographers / Ahorn
  Visual Map Maker and Level Editor for the game Celeste
  ☆198Updated 10 months ago
• geelon / type-theory
  Type Theory
  ☆22Updated 8 years ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• shadyfennec / baugelang
  An esoteric programming language, using box-drawing characters
  ☆29Updated 4 months ago
• SuperSodaSea / BfBf
  A Brainfuck interpreter written by Brainfuck.
  ☆58Updated 6 years ago
• Stabyourself / nottetris2
  A mess
  ☆113Updated 3 years ago
• mafm / HashLife
  An Algorithm for Compressing Space and Time
  ☆42Updated 7 years ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆317Updated 3 weeks ago
• VampireFlower / CelesteTAS
  TAS files for the game Celeste
  ☆69Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 9 months ago