athas / futballLinks
You are trapped on an infinite tile floor along with murderous marbles
☆12Updated last year
Alternatives and similar repositories for futball
Users that are interested in futball are comparing it to the libraries listed below
Sorting:
- Haskell binding for PADS☆20Updated 6 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- Linear algebra package for Futhark☆17Updated 2 weeks ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- A Haskell-like language for scripting and web apps☆13Updated last year
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A verified compiler for a lazy functional language☆37Updated last week
- ☆19Updated 7 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Kempe is a compiled stack-based language☆58Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- IDE support for the functional logic programming language Curry☆32Updated 5 months ago
- A SKI combinators interpreter written in assembly☆19Updated 5 years ago
- Library for writing interactive and visual Futhark programs☆22Updated 2 weeks ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- Jhc: Haskell Compiler☆38Updated 10 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- Library for invertible parsing and printing☆33Updated last month
- Yoneda lemma in every known language☆17Updated 2 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 6 months ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 4 months ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Updated last year
- ☆16Updated 3 years ago
- functional spreadsheet programming☆20Updated 6 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago