tranma / falling-turnip
falling sand game with regular parallel arrays.
☆69Updated 11 years ago
Related projects ⓘ
Alternatives and complementary repositories for falling-turnip
- A port of Falling Turnip from Haskell to Futhark and Go☆23Updated this week
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Ray Tracing in One Weekend in Futhark☆19Updated 3 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆14Updated last year
- A simple Prolog interpreter☆43Updated 2 years ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- A small compiler for PCF☆124Updated 4 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Compile-time const Forth evaluation with macros☆34Updated last year
- Programming with pure lambda calculus☆88Updated this week
- A small and expressive dependently typed language☆129Updated 4 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Ordo: A minimalist language with row polymorphism☆80Updated 3 months ago
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆41Updated 4 years ago
- doom☆16Updated 8 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆303Updated last year
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- ☆53Updated 3 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 9 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Plot Cookbook☆50Updated last year