david-christiansen / idris-quickcheckLinks
A port of QuickCheck to Idris
☆60Updated 7 years ago
Alternatives and similar repositories for idris-quickcheck
Users that are interested in idris-quickcheck are comparing it to the libraries listed below
Sorting:
- Recursion schemes for Idris☆65Updated 6 years ago
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- ☆23Updated 8 years ago
- A recursion scheme library for Idris.☆25Updated 2 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Haskell 98 contravariant functors☆73Updated 9 months ago
- Type provider library for Idris☆94Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Haskell 98 comonads☆77Updated 5 months ago
- Some useful control operators for looping☆47Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Dual Traversable☆42Updated 2 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- A test framework for Idris☆55Updated 6 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- ☆23Updated 7 years ago
- the EitherT monad transformer☆55Updated last month
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Provably correct implementation of insertion sort in Idris.☆31Updated 4 years ago
- Zippers based on lenses and traversals☆40Updated last year
- A small bifunctor library for idris☆21Updated 4 years ago
- 2048 in Idris☆123Updated 7 years ago
- A Go backend for Idris☆15Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Extensible records for Idris☆25Updated 4 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago