Alternatives and similar repositories for idris2-dom-mvc

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

• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆22Updated 2 years ago
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated 10 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated last year
• kbertalan / tyttp
  ☆21Updated last month
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 2 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• id3as / purescript-backend-erl
  ☆15Updated 8 months ago
• deadpendency / deadpendency
  ☆25Updated 2 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 4 months ago
• augustss / orthotope
  ☆26Updated 5 months ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated 8 months ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• pa-ba / AsyncRattus
  ☆10Updated 2 months ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 10 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 3 weeks ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 3 months ago
• eayus / sirdi
  Package manager for Idris
  ☆36Updated 2 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆28Updated 3 months ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 3 weeks ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 10 months ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• chiroptical / snail
  A programming language for gastropods
  ☆11Updated last year
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago