Alternatives and similar repositories for InfiniSweeper

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

• MarisaKirisame / zombie
  Zombie chan revive!
  ☆26Updated last year
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆93Updated 6 months ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 4 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated 6 months ago
• silverhawke249 / nonlinearity
  Another custom level pack for Baba Is You.
  ☆23Updated 3 years ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆122Updated last week
• blockfish / blockfish
  An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…
  ☆41Updated this week
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆317Updated this week
• mafm / HashLife
  An Algorithm for Compressing Space and Time
  ☆42Updated 7 years ago
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆195Updated this week
• MarisaKirisame / MemoryBalancer
  ☆23Updated 2 years ago
• eberban / eberban
  Parser and dictionary for the eberban language.
  ☆28Updated last week
• DemoJameson / Celeste.SpeedrunTool
  A Celeste Mod for Speedrun Practice
  ☆27Updated last week
• dvtate / postfix-haskell
  A low-level, postfix, functional programming language that compiles to WebAssembly
  ☆26Updated last month
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated last year
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
  ☆11Updated this week
• akemimadoka / GC
  ☆12Updated 3 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆106Updated this week
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆56Updated 7 months ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated 2 months ago
• janispritzkau / loopover
  Loopover is a single-player sliding tile game.
  ☆35Updated 5 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆114Updated last year
• geelon / type-theory
  Type Theory
  ☆23Updated 8 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• imlyzh / emei
  The 峨眉 (EMei) JIT/AOT backend framework.
  ☆18Updated 8 months ago
• 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
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 5 months ago
• Storyyeller / cubiml-demo
  A simple ML-like programming language with subtyping and full type inference.
  ☆176Updated 7 months ago
• Ununoctium117 / fumosite
  Source code for https://fumo.website. Pushes to master are automatically deployed. Pull requests welcome!
  ☆81Updated 11 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆309Updated 8 months ago