lagunoff / idris-elm
The Elm architecture ported to Idris Programming language
☆13Updated 5 years ago
Alternatives and similar repositories for idris-elm:
Users that are interested in idris-elm are comparing it to the libraries listed below
- GRIN backend for Idris☆51Updated 4 years ago
- Generate Elm client libraries from Servant API definitions.☆29Updated last year
- Idris Todo web application example☆42Updated last year
- Js libraries for idris☆49Updated 4 years ago
- Documentation for Concur☆65Updated 7 months ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Extensible records for Idris☆26Updated 3 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Updated 7 years ago
- A simple Idris program to blink the LED on an Arduino☆57Updated 3 years ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 5 months ago
- Provides a type-safe way of working with permutations in Idris☆35Updated 3 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆13Updated last year
- Experiments in implementing functional data structures in Idris☆14Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 2 years ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Experimental JS bindings for idris2-rhone☆21Updated last year
- An arrowized FRP library for Idris with static safety guarantees.☆16Updated 6 years ago
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- JavaScript interface that works with GHCJS or GHC☆119Updated 2 months ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆68Updated 3 years ago
- A simple build system for Idris☆22Updated 3 years ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 4 months ago
- Efficient parser combinators for Haskell☆39Updated 9 months ago
- 💙 Code from the HandyHaskell twitter page☆14Updated 4 years ago
- An experimental HTTP framework for Idris☆14Updated 4 years ago