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:
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Js libraries for idris☆49Updated 5 years ago
- Generate Elm client libraries from Servant API definitions.☆29Updated 2 years ago
- Documentation for Concur☆65Updated last year
- Kotlin-backend for PureScript☆79Updated 4 years ago
- Simple editor for creating graphs implemented purely in Elm.☆35Updated 3 years ago
- the dynabook but for haskell☆23Updated 6 years ago
- Generate TypeScript definition files from your ADTs☆63Updated last month
- Web Development without programming☆45Updated 2 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- Idris Todo web application example☆42Updated 2 years ago
- An approach to user interfaces based in denotational design.☆27Updated 2 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 8 months ago
- A Unison Github repo explorer in Elm☆34Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Firebase bindings for purescript☆20Updated 2 years ago
- Haskell JSON schema validator and parser generator☆63Updated 2 years ago
- Generate Elm types, encoders, and decoders from Haskell types☆62Updated last year
- An implementation of miniKanren in Haskell☆78Updated 12 years ago
- Library for generating Elm syntax from Haskell in a scope-safe way☆21Updated last year
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated 2 months ago
- A Prelude with names from category theory☆51Updated 9 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆67Updated 4 years ago
- Haskell library for semigroup actions and torsors☆64Updated 7 months ago
- A simple Idris program to blink the LED on an Arduino☆58Updated 4 years ago
- JavaScript interface that works with GHCJS or GHC☆128Updated 3 weeks ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Tools for building 3D interactive programs in Haskell☆73Updated last week