Alternatives and similar repositories for idris2-dom-mvc

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

• kayhide / tree-sitter-idris

  View on GitHub
  ☆12Nov 5, 2024Updated last year
• kbertalan / tyttp

  View on GitHub
  ☆23May 10, 2025Updated 9 months ago
• stefan-hoeck / idris2-dom

  View on GitHub
  Javascript DOM bindings for Idris2
  ☆54Oct 18, 2025Updated 3 months ago
• MercuryTechnologies / hlint-plugin

  View on GitHub
  GHC plugin for hlint
  ☆11Oct 4, 2023Updated 2 years ago
• stefan-hoeck / idris2-async

  View on GitHub
  Asynchronous and concurrent computations in Idris2
  ☆24Updated this week
• idris-community / idris2-http

  View on GitHub
  a http(s) client in idris
  ☆29Dec 11, 2024Updated last year
• stefan-hoeck / idris2-pack-db

  View on GitHub
  ☆30Updated this week
• stefan-hoeck / idris2-webidl

  View on GitHub
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆16Feb 10, 2025Updated last year
• mattpolzin / pg-idris

  View on GitHub
  Beginnings of a Postgres client for Idris 2
  ☆18Dec 9, 2025Updated 2 months ago
• stefan-hoeck / idris2-rhone-js

  View on GitHub
  Experimental JS bindings for idris2-rhone
  ☆21Oct 22, 2023Updated 2 years ago
• stefan-hoeck / idris2-rhone

  View on GitHub
  ☆19Apr 5, 2024Updated last year
• gergoerdi / functional-mos6502-web-performance

  View on GitHub
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Jun 9, 2023Updated 2 years ago
• mattpolzin / harmony

  View on GitHub
  Harmonize with coworkers around GitHub reviewing.
  ☆23Jan 27, 2026Updated 3 weeks ago
• stefan-hoeck / idris2-sop

  View on GitHub
  Idris port of Haskell's sop-core library
  ☆37Aug 14, 2025Updated 6 months ago
• rodrimati1992 / type_level

  View on GitHub
  Libraries for declaring and using type-level values.
  ☆11Mar 28, 2019Updated 6 years ago
• mstksg / typelits-witnesses

  View on GitHub
  Existential witnesses, singletons, and classes for operations on GHC TypeLits
  ☆16Jul 25, 2024Updated last year
• kazu-yamamoto / network-run

  View on GitHub
  Simple network runner library in Haskell
  ☆11Nov 19, 2025Updated 2 months ago
• joshuanianji / idris-2-docker

  View on GitHub
  Multi-arch Docker images for Idris 2
  ☆13Feb 9, 2026Updated last week
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• Bodigrim / fast-digits

  View on GitHub
  Split integers into digits, blazingly fast
  ☆14Dec 28, 2025Updated last month
• alexhumphreys / hello-idris2

  View on GitHub
  A template for idris projects
  ☆11Jun 27, 2021Updated 4 years ago
• Haskell-OpenAPI-Code-Generator / Stripe-Haskell-Library

  View on GitHub
  Auto Generated Haskell Library for Stripe
  ☆14Mar 31, 2024Updated last year
• mattpolzin / ncurses-idris

  View on GitHub
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Dec 9, 2024Updated last year
• MonoidMusician / blog

  View on GitHub
  ☆11Feb 9, 2026Updated last week
• phadej / cabal-sat

  View on GitHub
  Using cabal-install as SAT solver
  ☆13Aug 29, 2023Updated 2 years ago
• frasiyav / BQN-Gnuplot

  View on GitHub
  A BQN wrapper script for Gnuplot
  ☆12Aug 3, 2024Updated last year
• phadej / kleene-type

  View on GitHub
  Regular expressions of types
  ☆16Sep 13, 2018Updated 7 years ago
• conal / felix

  View on GitHub
  Agda category theory library for denotational design
  ☆57Jan 25, 2026Updated 3 weeks ago
• stefan-hoeck / idris2-json

  View on GitHub
  Automatically derivable JSON marshallers in the spirit of Haskell's aeson
  ☆19Nov 15, 2025Updated 3 months ago
• jfdm / velo-lang

  View on GitHub
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Apr 3, 2023Updated 2 years ago
• stefan-hoeck / idris2-ref1

  View on GitHub
  Linear mutable References and Utilities
  ☆13Oct 30, 2025Updated 3 months ago
• bgavran / TensorType

  View on GitHub
  Framework for type-safe pure functional and non-cubical tensor processing, written in Idris 2
  ☆28Feb 7, 2026Updated last week
• freckle / faktory_worker_haskell

  View on GitHub
  Faktory Worker for Haskell
  ☆17Dec 15, 2025Updated 2 months ago
• matteo-meluzzi / agda2hvm

  View on GitHub
  ☆12May 7, 2023Updated 2 years ago
• f-f / spaghetto

  View on GitHub
  ☆15Sep 28, 2022Updated 3 years ago
• ocaml-multicore / par_incr

  View on GitHub
  Parallel version of incremental library
  ☆19Nov 2, 2023Updated 2 years ago
• stefan-hoeck / idris2-tailrec

  View on GitHub
  Provably total, tail-call optimized monadic recursion in Idris2
  ☆14Nov 14, 2023Updated 2 years ago
• Russoul / Idris2-Lua

  View on GitHub
  Lua backend for Idris 2
  ☆28Aug 14, 2022Updated 3 years ago
• madman-bob / idris2-table

  View on GitHub
  A table library for Idris 2
  ☆15Oct 25, 2022Updated 3 years ago