edwinb / SDL-idrisLinks
SDL bindings package for idris
☆46Updated 5 years ago
Alternatives and similar repositories for SDL-idris
Users that are interested in SDL-idris are comparing it to the libraries listed below
Sorting:
- Type provider library for Idris☆94Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- 2048 in Idris☆122Updated 7 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Curses bindings package for Idris☆13Updated 6 years ago
- A test framework for Idris☆54Updated 6 years ago
- ☆13Updated 6 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 9 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Zippers based on lenses and traversals☆40Updated last year
- GRIN backend for Idris☆51Updated 5 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 5 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- A typed logic programming language embedded in Haskell☆49Updated 12 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- build tool and package manager for idris,in idris,with free monads☆33Updated 6 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- A more flexible mtl☆64Updated 7 years ago