stefan-hoeck / idris2-dom-mvc
Single Page Web Applications in Idris
☆24Updated 5 months ago
Alternatives and similar repositories for idris2-dom-mvc:
Users that are interested in idris2-dom-mvc are comparing it to the libraries listed below
- ☆25Updated 2 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 3 months ago
- Call and consume GraphQL APIs with type safe queries and responses☆24Updated 10 months ago
- Experimental fork of ghcide which is reimplemented using the FRP library reflex☆17Updated 3 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Haskell implementation of the KDL Document Language☆21Updated 2 years ago
- Ouroboros is a PureScript compiler written in PureScript.☆20Updated 6 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Javascript DOM bindings for Idris2☆51Updated 9 months ago
- Haskell Actors☆25Updated last year
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 9 months ago
- ☆21Updated 2 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 2 months ago
- Require that callers propagate `HasCallStack` constraints☆21Updated 3 months ago
- ☆25Updated 6 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Session types framework with support of protocol pipelining.☆16Updated 3 weeks ago
- ☆41Updated last year
- high-powered optics in a small package☆53Updated 5 months ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 weeks ago
- lucid + htmx = lucid-htmx☆19Updated 7 months ago
- ☆20Updated last year
- An efficient graph library for Haskell☆39Updated 7 months ago
- Wrap up Haskell tools☆15Updated 3 years ago
- Haskell bindings to libsystemd-journal☆21Updated last week