bamboo / IdrisUnityPlayground
Experiments in Idris / Unity integration.
☆49Updated 8 years ago
Alternatives and similar repositories for IdrisUnityPlayground:
Users that are interested in IdrisUnityPlayground are comparing it to the libraries listed below
- Recursion schemes for Idris☆64Updated 6 years ago
- Zippers based on lenses and traversals☆39Updated last year
- SDL bindings package for idris☆46Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- A more flexible mtl☆64Updated 7 years ago
- Experimental Malfunction backend for Idris☆81Updated 6 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- Support for file uploads in multipart/form-data for servant☆40Updated 11 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- 2048 in Idris☆121Updated 7 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- complexity testing for haskell☆48Updated 9 years ago
- An HTTP library for idris☆39Updated 6 years ago
- SDL2 Bindings for the Idris programming language☆10Updated 5 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Compile PureScript into Haskell.☆69Updated 7 years ago
- A very general logging effect for Haskell☆61Updated 11 months ago
- Try Idris☆35Updated 9 years ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- ☆33Updated 9 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆117Updated 3 months ago