Alternatives and similar repositories for h10:

Users that are interested in h10 are comparing it to the libraries listed below

• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆23Updated 3 months ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 years ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆14Updated 8 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 2 months ago
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 2 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• cachix / hs-opentelemetry-instrumentation-servant
  OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.
  ☆12Updated 5 months ago
• fuzzypixelz / hustle
  Haskell implementation of the KDL Document Language
  ☆21Updated 2 years ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• LightAndLight / sage
  Efficient parser combinators for Haskell
  ☆39Updated 9 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated this week
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• balint99 / sfpl
  A simple functional programming language.
  ☆21Updated 3 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• haskellari / some
  Existential type.
  ☆36Updated last month
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last month
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 7 months ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆24Updated this week
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• MarcelineVQ / idris2-elab-deriving
  implementation deriving for idris2
  ☆11Updated 3 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆38Updated last month
• plclub / cbpv-effects-coeffects
  Formalization of CBPV extended with effect and coeffect tracking
  ☆12Updated 5 months ago