Alternatives and similar repositories for haskell-binaryen:

Users that are interested in haskell-binaryen are comparing it to the libraries listed below

• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 3 months ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆27Updated 6 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆18Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 7 months ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated last year
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 3 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 4 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated 2 years ago
• osa1 / h10
  A Haskell 2010 type checker
  ☆16Updated 11 months ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 4 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆15Updated 2 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated this week
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• karroffel / Idris2-Ocaml
  OCaml backend for Idris2
  ☆19Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated last week
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 4 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆48Updated last month
• leostera / q-lang
  ☆14Updated last year
• cdfa / frugel
  An error-tolerant live programming environment (my Master's thesis)
  ☆18Updated 2 years ago