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
Sorting:
- A port of Falling Turnip from Haskell to Futhark and Go☆22Updated 6 months ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years 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
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- Apple array system☆66Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- Tools for working with regular grids/graphs/lattices.☆107Updated 2 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- ☆53Updated 4 years ago
- Brzozowski derivative python sketch☆85Updated last month
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆70Updated 8 years ago
- A compiler for Standard ML, somewhat☆202Updated 3 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆113Updated last week
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆43Updated 4 years ago
- A small compiler for PCF☆125Updated 4 years ago
- A Rust implementation of the "Ray Tracing in One Weekend" book☆86Updated 3 years ago
- Modular softsynth☆62Updated 9 years ago
- n queens with the logic monad☆20Updated 10 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated last month