exercism / idrisLinks
Exercism exercises in Idris.
☆35Updated 2 months ago
Alternatives and similar repositories for idris
Users that are interested in idris are comparing it to the libraries listed below
Sorting:
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- Js libraries for idris☆49Updated 5 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Idris Todo web application example☆42Updated 2 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Common control classes and utility functions☆56Updated last year
- ♾️ Sized list☆46Updated last year
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- A test framework for Idris☆55Updated 6 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 10 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- A combinator library for generating markup☆90Updated 4 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated last year
- A proper network library for Idris, now that I know what I'm doing.☆59Updated 8 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆67Updated 4 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆136Updated 5 years ago
- A functional web framework☆34Updated 3 years ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A Haskell package that provides a monad transformer for mocking mtl-style typeclasses☆70Updated 5 years ago
- Crossing the road between Haskell and Elm☆90Updated 3 months ago
- Server-side VDOM UI framework for Concur☆138Updated 4 years ago
- Compile PureScript into Haskell.☆68Updated 7 years ago
- Date and time library for PureScript.☆49Updated 2 years ago
- Automatic Haskell type inference from JSON input☆149Updated last year
- A port of QuickCheck to Idris☆60Updated 7 years ago