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
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- ☆53Updated 4 months ago
- Apple array system☆68Updated this week
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Ray Tracing in One Weekend in Futhark☆20Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- A small compiler for PCF☆127Updated 5 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆14Updated 2 months ago
- A graphical interactive proof assistant designed for education☆169Updated last year
- Manifest manifold models with magical machinations.☆38Updated last month
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆177Updated 3 weeks ago
- A typed, polyglot, functional language☆206Updated this week
- A black hole raytracer written in Haskell☆179Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- Synless is a language-agnostic tree editor.☆23Updated 8 months ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Library for writing interactive and visual Futhark programs☆22Updated 2 weeks ago
- Demo of a WAM Prolog implementation in Python☆79Updated 2 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☆72Updated 8 years ago