tweag / haskell-binaryenLinks
Haskell bindings to binaryen.
☆14Updated 4 years ago
Alternatives and similar repositories for haskell-binaryen
Users that are interested in haskell-binaryen are comparing it to the libraries listed below
Sorting:
- Wasm library for PureScript☆29Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated 2 years ago
- 🔖 Better Haskell documentation.☆17Updated 5 years ago
- A TOML parser for Idris 2☆17Updated last year
- Lens combinators for fused-effects.☆17Updated 5 years ago
- A Haskell monad transformer library for data validation☆38Updated 2 years ago
- A beginner's guide to Haskell optimization☆65Updated 8 years ago
- ☆17Updated 2 years ago
- Core modules for a blazing fast markup combinator library☆24Updated 7 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 6 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 5 years ago
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- Fωμ type checker and compiler☆56Updated 2 years ago
- ⚖️ Trial Data Type☆21Updated 6 months ago
- a functional programming language with algebraic effects and handlers☆82Updated 10 months ago
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 11 months ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 3 years ago
- OCaml bindings for Binaryen.☆52Updated last week
- For parts of https://www.ats-lang.org☆26Updated 6 months ago
- Edit is a monad for rewriting things.☆23Updated 5 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 11 months ago
- ☆16Updated 2 years ago
- Classical Logic in Haskell☆24Updated last month
- A simple example of integrating TypeScript and Haskell.☆13Updated 4 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated 2 years ago
- A WebAssembly implementation in Lean4☆39Updated 2 years ago
- A toy dependent typed language.☆36Updated this week
- Prototype for https://github.com/Innf107/vega☆19Updated last year