tranma / falling-sand-gameLinks
Falling sand game in cellular automata style.
☆69Updated 12 years ago
Alternatives and similar repositories for falling-sand-game
Users that are interested in falling-sand-game are comparing it to the libraries listed below
Sorting:
- A port of Falling Turnip from Haskell to Futhark and Go☆23Updated last year
- Apple array system☆69Updated last month
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆196Updated last week
- ☆53Updated 5 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆65Updated 6 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- SKI combinators☆56Updated 8 years ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- Ray Tracing in One Weekend in Futhark☆20Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 8 months ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆122Updated last week
- A small compiler for PCF☆127Updated 5 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- ☆104Updated 3 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 4 years ago
- An error-tolerant live programming environment (my Master's thesis)☆20Updated 3 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆73Updated 9 years ago
- Synless is a language-agnostic tree editor.☆23Updated 2 weeks ago
- A simple Prolog interpreter☆42Updated 4 years ago
- Catalog of visual lambda calculi☆167Updated 6 months ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago