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:
- Generate Elm client libraries from Servant API definitions.☆29Updated 2 years ago
- Web Development without programming☆45Updated 2 years ago
- Kotlin-backend for PureScript☆79Updated 4 years ago
- Documentation for Concur☆65Updated last year
- Js libraries for idris☆49Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Generate TypeScript definition files from your ADTs☆63Updated last month
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆67Updated 4 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Rapid prototyping with GHCi☆59Updated 7 years ago
- GRIN backend for Idris☆50Updated 5 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Updated 4 years ago
- Haskell JSON schema validator and parser generator☆62Updated 2 years ago
- Library for generating Elm syntax from Haskell in a scope-safe way☆21Updated last year
- the dynabook but for haskell☆23Updated 5 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Updated 6 years ago
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Generate Elm type definitions and json encoders/decoders from Haskell types.☆27Updated last month
- An implementation of miniKanren in Haskell☆78Updated 12 years ago
- Zippers based on lenses and traversals☆40Updated 2 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 9 years ago
- Combining Electron and Haskell☆31Updated 6 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- ☆54Updated 6 years ago
- Formally verified JSON parser☆15Updated 7 years ago
- Tools for building 3D interactive programs in Haskell☆72Updated this week