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☆22Updated 2 weeks ago
- Ray Tracing in One Weekend in Futhark☆19Updated 3 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆14Updated last year
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 4 years ago
- doom☆16Updated 8 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- A simple Prolog interpreter☆43Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- Apple array system☆54Updated this week
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Tools for working with regular grids/graphs/lattices.☆106Updated 2 years ago
- Performance comparison of parallel ray tracing in functional programming languages☆304Updated last year
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages☆68Updated 7 years ago
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 3 months ago
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆41Updated 4 years ago
- A small compiler for PCF☆124Updated 4 years ago
- Kempe is a compiled stack-based language☆58Updated last month
- A Haskell ray tracer largely based on http://www.raytracegroundup.com/☆23Updated 4 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Updated 4 years ago
- A graphical interactive proof assistant designed for education☆161Updated this week
- arthur whitney's b interpreter translated into a more traditional flavor of C☆96Updated 7 years ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago