athas / futballLinks
You are trapped on an infinite tile floor along with murderous marbles
☆10Updated 8 months ago
Alternatives and similar repositories for futball
Users that are interested in futball are comparing it to the libraries listed below
Sorting:
- A Haskell-like language for scripting and web apps☆13Updated last year
- ☆18Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- ☆17Updated 2 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Revised Omega-categorical Typechecker☆26Updated 7 months ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- A 65C02 Assembly eDSL in Haskell☆16Updated 7 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Superposition prover☆17Updated 2 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Updated 4 years ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Haskell implementation of the Unicode Collation Algorithm☆17Updated 4 months ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 7 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- A talk☆28Updated 4 years ago
- Library for invertible parsing and printing☆32Updated last year
- Yoneda lemma in every known language☆17Updated 2 years ago
- Probabilistic Functional Logic Programming☆16Updated 2 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Linear map categories in Agda☆5Updated 2 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Updated last month