lagunoff / idris-elm
The Elm architecture ported to Idris Programming language
☆13Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris-elm
- Recursion schemes for Idris☆64Updated 6 years ago
- Documentation for Concur☆66Updated 5 months ago
- Idris Todo web application example☆42Updated last year
- Extensible records for Idris☆26Updated 3 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Js libraries for idris☆49Updated 4 years ago
- Generate Elm client libraries from Servant API definitions.☆29Updated last year
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 2 months ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 3 months ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 months ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Strategy game in Haskell (PRs: )☆51Updated 4 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- An extensible virtual-dom library for PureScript.☆58Updated 5 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- ☆15Updated 6 years ago
- An attoparsec roundtrip☆17Updated 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
- ☆29Updated 5 years ago
- ☆40Updated 7 months ago
- Haskell library for simple, concise and fast generic operations.☆76Updated last year
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Experimental JS bindings for idris2-rhone☆21Updated last year
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 8 months ago
- Maps and folds for heterogeneous data types.☆55Updated 2 years ago
- an applicative functor that seamlessly talks to HTML inputs☆73Updated 5 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Haskell library for semigroup actions and torsors☆57Updated 9 months ago