exercism / idrisLinks
Exercism exercises in Idris.
☆35Updated 2 weeks ago
Alternatives and similar repositories for idris
Users that are interested in idris are comparing it to the libraries listed below
Sorting:
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated 2 years ago
- Js libraries for idris☆49Updated 5 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Idris Todo web application example☆42Updated 2 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- ♾️ Sized list☆46Updated last year
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 10 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆53Updated 3 months ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- Haskell bindings to the libui C library.☆48Updated 7 years ago
- Safe conversions between Haskell textual types☆39Updated 3 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- Evaluation-orthogonal serialisation of Haskell data, as a library☆62Updated 6 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Simple Haskell http framework☆87Updated 6 years ago
- Testing with monadic side-effects☆33Updated 4 years ago
- A functional web framework☆34Updated 3 years ago
- Deploy tool for Haskell applications, like Capistrano for Rails☆105Updated 2 months ago
- A test framework for Idris☆54Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆137Updated 5 years ago