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
- ☆53Updated 4 months ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆64Updated 6 years ago
- Apple array system☆68Updated last week
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- Ray Tracing in One Weekend in Futhark☆20Updated 4 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated 2 weeks ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 7 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 5 years ago
- Tinkering with creating a functional programming language for procedural content generation.☆19Updated last year
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- A graphical interactive proof assistant designed for education☆170Updated last year
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- A black hole raytracer written in Haskell☆179Updated 4 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆283Updated last year
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- Synless is a language-agnostic tree editor.☆23Updated last week
- A typed, polyglot, functional language☆211Updated this week
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 11 months ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆159Updated 6 years ago