Alternatives and similar repositories for idris2-dom-mvc:

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

• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated last month
• kbertalan / tyttp
  ☆21Updated 3 months ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• cgohla / pureshell
  A Bash backend for PureScript
  ☆20Updated 2 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• deadpendency / deadpendency
  ☆25Updated 2 years ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 8 months ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆54Updated 6 months ago
• AnthonySuper / jordan
  Abstract, inspectable JSON representation of Haskell objects
  ☆27Updated 2 years ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• chiroptical / snail
  A programming language for gastropods
  ☆11Updated 9 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 …
  ☆11Updated 3 months ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆17Updated 10 months ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 8 months ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 4 years ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆20Updated 6 months ago
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated last month
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 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 2 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 7 months ago
• eayus / sirdi
  Package manager for Idris
  ☆35Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated last year
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 7 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 9 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago