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 8 months ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆61Updated 5 years ago
- Apple array system☆67Updated last month
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆74Updated 8 years ago
- Ray Tracing in One Weekend in Futhark☆19Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆125Updated 5 years ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- The cuteness implementation of a dependently typed language.☆191Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 7 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated 2 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- A small compiler for PCF☆124Updated 4 years ago
- ☆53Updated 4 years ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- Synless is a language-agnostic tree editor.☆21Updated 3 months ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆307Updated last year
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆53Updated 5 months ago
- Modular softsynth☆62Updated 9 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- ☆90Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- ☆35Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago