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☆22Updated 10 months ago
- ☆53Updated last month
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 6 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆60Updated 5 years ago
- A small compiler for PCF☆127Updated 4 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated 2 weeks ago
- Apple array system☆67Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆77Updated 8 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- Ray Tracing in One Weekend in Futhark☆19Updated 4 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- SKI combinators☆55Updated 8 years ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- An error-tolerant live programming environment (my Master's thesis)☆19Updated 3 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated 2 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- A black hole raytracer written in Haskell☆178Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- various toys in j☆12Updated 3 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- Forth clone in Haskell☆33Updated 8 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 5 years ago