Alternatives and similar repositories for idris2-dom-mvc

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

• id3as / purescript-backend-erl
  ☆15Updated 2 weeks ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆54Updated 3 months ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated last year
• kbertalan / tyttp
  ☆23Updated 8 months ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 5 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 5 years ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆19Updated 4 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 …
  ☆13Updated last month
• snoyberg / haskup
  Wrap up Haskell tools
  ☆15Updated 4 years ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 3 months ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆29Updated 10 months ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 4 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆15Updated 4 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated last month
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆40Updated 4 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago
• brandonchinn178 / github-rest
  A flexible Haskell API for querying the GitHub REST API
  ☆14Updated 3 weeks ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆27Updated last month
• isovector / ldtk-types
  Types for ldtk
  ☆16Updated last year
• ohad / collie
  Command line interface library in Idris
  ☆33Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago