lagunoff / idris-elmLinks
The Elm architecture ported to Idris Programming language
☆13Updated 6 years ago
Alternatives and similar repositories for idris-elm
Users that are interested in idris-elm are comparing it to the libraries listed below
Sorting:
- Idris Todo web application example☆42Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- GRIN backend for Idris☆51Updated 5 years ago
- Extensible records for Idris☆26Updated 3 years ago
- Js libraries for idris☆49Updated 5 years ago
- Documentation for Concur☆65Updated last year
- A simple build system for Idris☆22Updated 4 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Updated 8 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 8 years ago
- Experimental JS bindings for idris2-rhone☆21Updated last year
- Generate Elm client libraries from Servant API definitions.☆28Updated 2 years ago
- A simple Idris program to blink the LED on an Arduino☆58Updated 3 years ago
- Maps and folds for heterogeneous data types.☆56Updated 3 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- A total recursion scheme library for Dhall☆66Updated 2 weeks ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆32Updated last year
- A Prelude with names from category theory☆51Updated 8 years ago
- Kotlin-backend for PureScript☆80Updated 3 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆26Updated 3 months ago
- An HTTP library for idris☆39Updated 6 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Incremental lambda calculus☆81Updated 6 years ago
- An extensible virtual-dom library for PureScript.☆58Updated 11 months ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Sample halogen app that uses a few DSLs within the application's free monad☆62Updated 6 years ago
- Free applicative functors for PureScript☆27Updated 3 years ago