Alternatives and similar repositories for idris2-dom-mvc

Users that are interested in idris2-dom-mvc are comparing it to the libraries listed below

• id3as / purescript-backend-erl
  ☆15Updated 8 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆18Updated last year
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• thma / generic-persistence
  GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …
  ☆12Updated last month
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 11 months ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated 9 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 4 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• kbertalan / tyttp
  ☆22Updated 2 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated last week
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated 11 months ago
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆19Updated 6 months ago
• mikesol / purescript-hyrule
  Events, behaviors, and uneventful misbehaving
  ☆17Updated 10 months ago
• felixmulder / hedgehog-servant
  Property based testing for Servant using Hedgehog
  ☆19Updated 4 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated 5 months ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 4 years ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated last month
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 3 weeks ago
• cdupont / Timeloop
  ☆41Updated last year
• isovector / ldtk-types
  Types for ldtk
  ☆15Updated last year
• composewell / haskell-dev
  Haskell development resources and best practices
  ☆18Updated 3 years ago
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago