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:
- A Dependently Typed Esolang☆10Updated 8 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- Pawns functional/imperative programming language compiler etc☆11Updated 9 months ago
- lang Thue + Regex☆15Updated 3 years ago
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Haskell binding for PADS☆21Updated 6 years ago
- Lua backend for Idris 2☆28Updated 3 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- A Haskell-like language for scripting and web apps☆14Updated last year
- Kempe is a compiled stack-based language☆58Updated last year
- A formally verified compiler for a simple language with numbers and sums☆27Updated 5 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- ☆16Updated 3 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Updated 5 years ago
- ☆19Updated 7 years ago
- Library for invertible parsing and printing☆33Updated 4 months ago
- Linearizability Hoare Logic☆14Updated 9 months ago
- My Agda blog/lab/playground☆12Updated last week
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- IDE support for the functional logic programming language Curry☆34Updated 2 months ago
- Various Futhark benchmark programs☆43Updated last week
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Matita (proof assistant) with embedded elpi☆15Updated 7 years ago
- Parallel Programming in Futhark☆49Updated 3 months ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- A verified compiler for a lazy functional language☆37Updated last week