Alternatives and similar repositories for idris2-dom-mvc:

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

• deadpendency / deadpendency
  ☆22Updated last year
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 4 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆17Updated 3 years ago
• purefunctor / purescript-ouroboros
  Ouroboros is a PureScript compiler written in PureScript.
  ☆18Updated 3 months ago
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆17Updated last year
• 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
• commercialhaskell / pantry
  ☆38Updated last month
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated 2 weeks ago
• cgohla / pureshell
  A Bash backend for PureScript
  ☆20Updated 2 years ago
• chiroptical / snail
  A programming language for gastropods
  ☆12Updated 6 months ago
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 3 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆23Updated 5 years ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 5 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• ajnsit / purescript-from-scratch
  A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming
  ☆13Updated 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 …
  ☆11Updated 3 weeks ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆51Updated 7 months ago
• felixmulder / hedgehog-servant
  Property based testing for Servant using Hedgehog
  ☆19Updated 3 years ago
• AnthonySuper / jordan
  Abstract, inspectable JSON representation of Haskell objects
  ☆27Updated 2 years ago
• stefan-hoeck / idris2-json
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆16Updated 7 months ago
• emilypi / order
  Order theory
  ☆23Updated last year
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated last week
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 5 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 4 months ago
• 4e6 / nanoid-hs
  Haskell implementation of Nanoid, secure URL-friendly unique ID generator.
  ☆20Updated 7 years ago
• mpickering / old-ghc-nix
  Old and New GHC
  ☆21Updated last year
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated last year