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 3 months ago
• stefan-hoeck / idris2-dom
  Javascript DOM bindings for Idris2
  ☆53Updated 2 months ago
• patrickt / effects-benchmarks
  Benchmarking Haskell extensible-effect libraries.
  ☆34Updated 5 years 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
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 3 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆27Updated 3 weeks ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 2 months ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• monadicsystems / lucid-htmx
  lucid + htmx = lucid-htmx
  ☆19Updated last year
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆28Updated 3 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• mpickering / ghcide-reflex
  Experimental fork of ghcide which is reimplemented using the FRP library reflex
  ☆19Updated 4 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 11 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• ohad / collie
  Command line interface library in Idris
  ☆32Updated last year
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated last year
• AnthonySuper / jordan
  Abstract, inspectable JSON representation of Haskell objects
  ☆26Updated 3 years ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 5 years ago
• MercuryTechnologies / hlint-plugin
  GHC plugin for hlint
  ☆11Updated 2 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated last year
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• cdupont / Timeloop
  ☆41Updated 2 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆29Updated last year
• BeFunctional / haskell-rust-ffi
  ☆17Updated 2 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆32Updated last year
• kbertalan / tyttp
  ☆23Updated 7 months ago
• mattpolzin / harmony
  Harmonize with coworkers around GitHub reviewing.
  ☆23Updated this week
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆43Updated last week