exercism / idris
Exercism exercises in Idris.
☆32Updated this week
Related projects ⓘ
Alternatives and complementary repositories for idris
- Js libraries for idris☆49Updated 4 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A Foreign Function Interface that lets Haskell and Erlang programs communicate.☆67Updated 7 months ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆105Updated last year
- Idris Todo web application example☆42Updated last year
- A secure web framework, built in the Idris language.☆109Updated 10 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆91Updated 6 years ago
- Tools for programming with ConstraintKinds in GHC☆71Updated 3 weeks ago
- Infer user interfaces from type signatures☆78Updated 6 years ago
- Haskell bindings to the libui C library.☆47Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Compile PureScript into Haskell.☆69Updated 6 years ago
- Haskell to Elm translation using Template Haskell. Contains both a library and executable.☆49Updated 6 years ago
- Simple Haskell http framework☆87Updated 5 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- ♾️ Sized list☆46Updated 5 months ago
- A pure Haskell implementation of Datalog☆102Updated 4 years ago
- A simple Purescript JSON library that uses types automatically☆134Updated last year
- Recursion schemes for Idris☆64Updated 6 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- haskell lazy evaluation illustrated☆71Updated 7 years ago
- Safe conversions between Haskell textual types☆39Updated 2 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Comma (and other) separated values☆77Updated last year
- Create PureScript datatypes from Haskell datatypes☆110Updated 4 months ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- ⚡️ A practical standard library for PureScript.☆47Updated 6 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆47Updated last month
- μKanren in Elm☆42Updated 7 years ago
- curses Pac-man game in Haskell -- mostly finished, very playable☆33Updated 5 years ago