corazza / game-idris
A 2D platformer in Idris, a dependently-typed purely functional programming language
☆25Updated 4 years ago
Alternatives and similar repositories for game-idris:
Users that are interested in game-idris are comparing it to the libraries listed below
- Experimental effects library for Idris 2☆42Updated 2 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Command line interface library in Idris☆31Updated 7 months ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- Build tool for ATS.☆41Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Idris port of Haskell's sop-core library☆34Updated last year
- GRIN backend for Idris2☆33Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- Idris tactics for (commutative) monoids☆20Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 4 months ago
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- A template for idris projects☆11Updated 3 years ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- ☆21Updated 2 months ago
- Extensible records for Idris☆26Updated 3 years ago
- KU Leuven Haskell Compiler☆15Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 3 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago
- it's a starcraft clone but with a dope typesystem☆49Updated 4 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆13Updated last month
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- ☆24Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- implementation deriving for idris2☆11Updated 4 years ago
- A simple build system for Idris☆22Updated 3 years ago