athas / futballLinks
You are trapped on an infinite tile floor along with murderous marbles
☆13Updated last year
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
- Kempe is a compiled stack-based language☆58Updated last year
- ☆16Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- A Haskell-like language for scripting and web apps☆14Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- a self-hosting lambda calculus compiler☆37Updated 10 months ago
- Haskell binding for PADS☆21Updated 6 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- A simple prolog implementation in Rust☆26Updated 5 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Updated last year
- Mirror of Epigram 2, by Conor McBride, et al.☆58Updated 5 years ago
- Apple array system☆69Updated last month
- lang Thue + Regex☆15Updated 3 years ago
- A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.☆70Updated 15 years ago
- Various Futhark benchmark programs☆44Updated 3 weeks ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆64Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 5 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- Two-Level Type Theory☆28Updated 6 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆46Updated 6 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆95Updated 2 months ago
- Idris 2 bindings to various C libraries☆15Updated 4 years ago
- A toy dependent typed language.☆36Updated this week
- Library for writing interactive and visual Futhark programs☆22Updated last month
- source code for the bondi programming language☆45Updated 6 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆65Updated 8 months ago