tranma / falling-turnip
falling sand game with regular parallel arrays.
☆69Updated 11 years ago
Alternatives and similar repositories for falling-turnip:
Users that are interested in falling-turnip are comparing it to the libraries listed below
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 5 months ago
- Ray Tracing in One Weekend in Futhark☆19Updated 3 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- Apple array system☆66Updated 2 weeks ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A small compiler for PCF☆125Updated 4 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- A functional fluent API generator☆34Updated 2 years ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆50Updated 3 months ago
- Dependent type checker using normalisation by evaluation☆258Updated 7 months ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆157Updated last week
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- Programming with pure lambda calculus☆105Updated this week
- Tools for working with regular grids/graphs/lattices.☆107Updated 2 years ago
- A typed, polyglot, functional language☆196Updated this week
- ☆90Updated 3 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago