jfdm / idris-configLinks
Parsers for various configuration files written in Idris.
☆20Updated 7 years ago
Alternatives and similar repositories for idris-config
Users that are interested in idris-config are comparing it to the libraries listed below
Sorting:
- Free Monads and useful constructions to work with them☆26Updated 6 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- ☆23Updated 8 years ago
- Open records for Haskell☆22Updated 7 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- A recursion scheme library for Idris.☆25Updated last month
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- A http client for Idris based on libcurl☆10Updated 9 years ago
- the EitherT monad transformer☆55Updated this week
- ☆33Updated 4 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Curses bindings package for Idris☆13Updated 6 years ago
- Compile PureScript into Haskell.☆68Updated 7 years ago
- 2048 in Idris☆122Updated 7 years ago
- Classes for parallel composition and racing of asynchronous computations☆43Updated last year
- An HTTP library for idris☆39Updated 6 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- ☆38Updated 4 years ago
- List monad transformer☆60Updated last year
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- An extension to Data.Serialize with built-in version control☆59Updated 3 months ago