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 4 months ago
- Rewrite of Arthur Whitney's one-page J interpreter in Rust☆62Updated 5 years ago
- Ray Tracing in One Weekend in Futhark☆19Updated 3 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆111Updated 5 years ago
- A small compiler for PCF☆123Updated 4 years ago
- A Futhark implementation of Ray Tracing: the Next Week☆13Updated last year
- A programming language based on a 2D Hilbert curve grid☆89Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 6 months ago
- Apple array system☆66Updated this week
- ☆52Updated 4 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- A simple Prolog interpreter☆42Updated 3 years ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- A graphical interactive proof assistant designed for education☆167Updated 4 months ago
- Detect what files a program uses and rerun it when they change☆29Updated 2 years ago
- Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.☆43Updated 4 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- Animations of lambda term reduction sequences☆114Updated 6 years ago
- Synless is a language-agnostic tree editor.☆21Updated 2 months ago
- CNN in APL☆22Updated 2 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 9 years ago
- Ordo: A minimalist language with row polymorphism☆82Updated 8 months ago
- The rule-based graph programming language GP 2☆66Updated 9 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆152Updated this week
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆86Updated last year
- ☆99Updated 3 years ago