athas / futballLinks
You are trapped on an infinite tile floor along with murderous marbles
☆11Updated 11 months ago
Alternatives and similar repositories for futball
Users that are interested in futball are comparing it to the libraries listed below
Sorting:
- Lua backend for Idris 2☆28Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- a self-hosting lambda calculus compiler☆37Updated 5 months ago
- My Agda blog/lab/playground☆13Updated last week
- A verified compiler for a lazy functional language☆37Updated this week
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- IDE support for the functional logic programming language Curry☆32Updated 4 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Haskell binding for PADS☆19Updated 6 years ago
- A Haskell-like language for scripting and web apps☆14Updated last year
- Jhc: Haskell Compiler☆38Updated 10 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Two-Level Type Theory☆28Updated 5 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 7 months ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 9 years ago
- classical sequent calculus, embedded in Haskell☆21Updated last month
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 3 years ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Kempe is a compiled stack-based language☆58Updated 11 months ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Library for invertible parsing and printing☆32Updated last month
- A simple prolog implementation in Rust☆26Updated 4 years ago