Alternatives and similar repositories for haskell-binaryen

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

• 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
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 5 years ago
• tfausak / monadoc-5
  🔖 Better Haskell documentation.
  ☆17Updated 5 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆29Updated last year
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆24Updated 8 months ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 3 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 7 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 2 months ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 5 years ago
• toptobes / typefuck-haskell
  Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
  ☆17Updated 2 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated last year
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 5 years ago
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆38Updated 2 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆50Updated last year
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated this week
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆43Updated 3 weeks ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 3 years ago
• dfinity-side-projects / winter
  Haskell port of the WebAssembly OCaml reference interpreter
  ☆45Updated 2 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• nikivazou / theorem-proving-template
  Template repo for theorem proving in Liquid Haskell
  ☆32Updated 7 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 6 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆52Updated 2 weeks ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆19Updated 6 years ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 5 years ago
• 5outh / Molecule
  A tiny statically typed programming language
  ☆18Updated 11 years ago