exercism / idris
Exercism exercises in Idris.
☆32Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for idris
- Tools for programming with ConstraintKinds in GHC☆71Updated last month
- Infer user interfaces from type signatures☆78Updated 6 years ago
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆105Updated 2 years ago
- A combinator library for generating markup☆89Updated 3 years ago
- OTP-like supervision trees in Haskell☆62Updated 5 years ago
- Exercism exercises in PureScript.☆37Updated 3 weeks ago
- Idris Todo web application example☆42Updated last year
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Compile PureScript into Haskell.☆69Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Haskell bindings to the libui C library.☆47Updated 6 years ago
- Create PureScript datatypes from Haskell datatypes☆110Updated 4 months ago
- Generate realistic looking fake data☆47Updated 3 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- ♾️ Sized list☆46Updated 6 months ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 8 months ago
- Js libraries for idris☆49Updated 4 years ago
- Documentation for Concur☆66Updated 5 months ago
- FFI Bindings to interact with the unsafe world of JavaScript☆91Updated 6 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 6 years ago
- Common control classes and utility functions☆56Updated 9 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Examples for the book “Alex and Happy”☆34Updated 9 years ago
- Haskell FilePath core library☆66Updated this week
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Updated 6 years ago
- ☆40Updated 7 months ago
- A git-compatible content tracker in Haskell.☆66Updated 4 years ago