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:
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆68Updated last year
- Js libraries for idris☆49Updated 5 years ago
- Slides & demos for talks I do☆58Updated 5 years ago
- Idris Todo web application example☆42Updated 2 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 7 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A data-type like Either but with an accumulating Applicative☆100Updated 2 years ago
- ☆23Updated 7 years ago
- ♾️ Sized list☆46Updated last year
- An HTTP library for idris☆39Updated 6 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated this week
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 7 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 11 years ago
- An Elm library for creating diagrams, inspired by Brent Yorgey's Diagrams library for Haskell.☆44Updated 9 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆136Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Mustache templates for Haskell☆28Updated this week
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- Let's program! Get into programming writing a simple game.☆75Updated 11 years ago
- Deploy tool for Haskell applications, like Capistrano for Rails☆106Updated 4 months ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- A minimal example for a REST-API-server written with servant and a test-suite using servant-client☆58Updated 4 years ago
- A test framework for Idris☆55Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- μKanren in Elm☆43Updated 8 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago