Alternatives and similar repositories for idris2-dom-mvc:

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

• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆51Updated 8 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 last month
• cgohla / pureshell
  A Bash backend for PureScript
  ☆20Updated 2 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• ohad / collie
  Command line interface library in Idris
  ☆31Updated 6 months ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 2 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆16Updated 8 months ago
• deadpendency / deadpendency
  ☆25Updated last year
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 6 months ago
• stefan-hoeck / idris2-tailrec
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Updated last year
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated this week
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• composewell / streamly-examples
  Examples for Streamly
  ☆29Updated this week
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆19Updated 4 months ago
• justinwoo / spago2nix
  Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.
  ☆43Updated 8 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 2 years ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 6 months ago
• AnthonySuper / jordan
  Abstract, inspectable JSON representation of Haskell objects
  ☆27Updated 2 years ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 4 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆64Updated last month
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆24Updated this week
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• NorfairKing / opt-env-conf
  ☆24Updated last month
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated 2 weeks ago
• brandonchinn178 / graphql-client
  Call and consume GraphQL APIs with type safe queries and responses
  ☆24Updated 9 months ago
• kbertalan / tyttp
  ☆21Updated last month
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 4 years ago