Alternatives and similar repositories for idris2-dom-mvc

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

• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated 11 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 2 months ago
• kbertalan / tyttp
  ☆21Updated 3 weeks 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 4 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• pa-ba / AsyncRattus
  ☆10Updated 2 months 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 week
• chiroptical / snail
  A programming language for gastropods
  ☆11Updated 11 months ago
• cdupont / Timeloop
  ☆41Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 9 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆52Updated 11 months ago
• deadpendency / deadpendency
  ☆25Updated 2 years ago
• brandonchinn178 / ghc-string-interpolation-prototypes
  ☆19Updated 3 weeks ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆69Updated 4 months ago
• commercialhaskell / pantry
  ☆40Updated last month
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 5 months ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆15Updated last week
• justinwoo / spago2nix
  Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.
  ☆43Updated 11 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• stefan-hoeck / idris2-rhone-js
  Experimental JS bindings for idris2-rhone
  ☆21Updated last year
• Kleidukos / boreal
  ☆20Updated last week
• obsidiansystems / vessel
  Functor-parametric containers
  ☆19Updated 4 months ago
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated 10 months ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• Anut-py / ghc-web-test
  ☆15Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago