lagunoff / idris-elm
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
- Generate Elm client libraries from Servant API definitions.☆28Updated last year
- GRIN backend for Idris☆51Updated 4 years ago
- Web Development without programming☆44Updated 2 years ago
- Documentation for Concur☆65Updated 10 months ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Idris Todo web application example☆42Updated 2 years ago
- Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive comp…☆32Updated last year
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Experimental JS bindings for idris2-rhone☆21Updated last year
- Js libraries for idris☆49Updated 5 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 2 years ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 7 months ago
- A priliminary backend for Idris that compiles to Clean.☆15Updated 7 years ago
- ☆49Updated 7 years ago
- Extensible records for Idris☆26Updated 3 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 7 months ago
- ☆54Updated 6 years ago
- An extensible virtual-dom library for PureScript.☆58Updated 9 months ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 4 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- ☆39Updated 11 months ago
- JavaScript interface that works with GHCJS or GHC☆122Updated 5 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago