athas / futball
You are trapped on an infinite tile floor along with murderous marbles
☆10Updated 4 months ago
Alternatives and similar repositories for futball:
Users that are interested in futball are comparing it to the libraries listed below
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 3 years ago
- Kempe is a compiled stack-based language☆58Updated 4 months ago
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Haskell binding for PADS☆18Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 6 months ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- A Dependently Typed Esolang☆10Updated 7 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- ☆29Updated 6 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆17Updated 5 years ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- Revised Omega-categorical Typechecker☆26Updated 3 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 8 months ago
- A verified compiler for a lazy functional language☆34Updated last week
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆15Updated 6 months ago
- Probabilistic Functional Logic Programming☆15Updated 3 weeks ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆21Updated 8 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- Library for invertible parsing and printing☆31Updated 8 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago