Alternatives and similar repositories for InfiniSweeper

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

• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 11 months ago
• aya-prover / aya-dev
  A proof assistant and a dependently-typed language
  ☆345Updated this week
• blockfish / blockfish
  An Rust-based engine (or "bot") to optimize downstacking -- a maximally defensive mode of playing Tetris competitively. Currently capable…
  ☆41Updated 4 months ago
• mafm / HashLife
  An Algorithm for Compressing Space and Time
  ☆47Updated 7 years ago
• rowscript / rowscript
  RowScript programming language, making a better browser world
  ☆126Updated this week
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated 11 months 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
• LoLi-Lang / LoLi
  A Lisp Dialect
  ☆44Updated 9 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• MarisaKirisame / MemoryBalancer
  ☆23Updated 2 years ago
• sigma144 / witness-randomizer
  Random puzzle generator for The Witness
  ☆149Updated 2 months 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
• GanerCodes / moon
  glyph-based language that transpiles to python (for now…)
  ☆24Updated last week
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆62Updated 3 months 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.
  ☆117Updated 3 months ago
• langyo / redstone-computer-technology
  [WIP] 我的世界（Minecraft）红石电路计算机资料集索引
  ☆18Updated 6 years 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
• DemoJameson / Celeste.SpeedrunTool
  A Celeste Mod for Speedrun Practice
  ☆30Updated this week
• foreverbell / BadAppleOS
  (touhou / 東方) x86 Operating System animating BadApple.
  ☆62Updated last year
• ProjectDimlight / RuCalculus
  入墨答Rumbda, the Chinese expression of lambda calculus
  ☆64Updated 2 years ago
• anqur / lyzh
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆27Updated 10 months ago
• geelon / type-theory
  Type Theory
  ☆26Updated 9 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆25Updated last month
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆406Updated last week
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• EverestAPI / CelesteTAS-EverestInterop
  Everest interop for DevilSquirrel's CelesteTAS
  ☆74Updated 3 weeks ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• digama0 / mm0
  Metamath Zero specification language
  ☆362Updated this week
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆315Updated last year