lagunoff / idris-elmLinks
The Elm architecture ported to Idris Programming language
☆14Updated 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
- Documentation for Concur☆65Updated last year
- GRIN backend for Idris☆50Updated 5 years ago
- Generate Elm client libraries from Servant API definitions.☆28Updated 2 years ago
- Web Development without programming☆44Updated 2 years ago
- An implementation of miniKanren in Haskell☆78Updated 12 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☆36Updated 3 years ago
- Generate Elm types, encoders, and decoders from Haskell types☆61Updated 10 months ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Updated 10 years ago
- Js libraries for idris☆49Updated 5 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- ☆49Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Tools for building 3D interactive programs in Haskell☆71Updated 3 weeks ago
- Generate TypeScript definition files from your ADTs☆62Updated 4 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 3 months ago
- A little utility to derive lenses and prisms for data types in PureScript☆40Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- JavaScript interface that works with GHCJS or GHC☆123Updated last month
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Demonstrating comonad transformers.☆37Updated 8 years ago
- Translate servant API to purescript code, with the help of purescript-bridge.☆108Updated 2 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Beginnings of a Postgres client for Idris 2☆18Updated this week
- Axioms and Propositions for Primitives in Idris2☆11Updated last year
- an applicative functor that seamlessly talks to HTML inputs☆72Updated 5 years ago
- SDL bindings package for idris☆46Updated 5 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago