Alternatives and similar repositories for falling-sand-game

Users that are interested in falling-sand-game are comparing it to the libraries listed below

• athas / diving-beet
  A port of Falling Turnip from Haskell to Futhark and Go
  ☆22Updated 7 months ago
• athas / raytracinginoneweekendinfuthark
  Ray Tracing in One Weekend in Futhark
  ☆19Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• zserge / odetoj
  Rewrite of Arthur Whitney's one-page J interpreter in Rust
  ☆61Updated 5 years ago
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆112Updated 5 years ago
• athas / raytracingthenextweekinfuthark
  A Futhark implementation of Ray Tracing: the Next Week
  ☆13Updated last year
• granstrom / intuitionistic
  Automatically exported from code.google.com/p/intuitionistic
  ☆31Updated 10 years ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆122Updated 5 years ago
• ashinkarov / cnn-in-apl
  CNN in APL
  ☆22Updated 2 years ago
• vmchale / apple
  Apple array system
  ☆66Updated last week
• dawn-lang / dawn-phase1
  Dawn Phase 1 proto-language
  ☆37Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 8 months ago
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated last year
• dpiponi / Moodler
  Modular softsynth
  ☆62Updated 9 years ago
• justinpombrio / synless
  Synless is a language-agnostic tree editor.
  ☆21Updated 2 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆118Updated last month
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• zdimension / macro-forth
  Compile-time const Forth evaluation with macros
  ☆36Updated 2 years ago
• lf94 / log-cabin-parametric-cadquery
  Builds parametric log cabins based on the book "How to build and furnish a log cabin."
  ☆17Updated 2 years ago
• levex / haskell-doom
  doom
  ☆17Updated 9 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• JonathanMEdwards / subtext10
  ☆100Updated 3 years ago
• jozefg / pcf
  A small compiler for PCF
  ☆124Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• moon-chilled / j
  various toys in j
  ☆12Updated 3 years ago
• caotic123 / Kei
  A small and expressive dependently typed language
  ☆129Updated 4 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago