tweag / haskell-binaryen
Haskell bindings to binaryen.
☆14Updated 3 years ago
Alternatives and similar repositories for haskell-binaryen:
Users that are interested in haskell-binaryen are comparing it to the libraries listed below
- An interpreter of F-ing modules☆18Updated 5 years ago
- Fωμ type checker and compiler☆52Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- A simple implementation of linear type theory☆38Updated 7 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Wasm library for PureScript☆27Updated 8 months ago
- Session types in Idris2!☆27Updated 4 years ago
- A TOML parser for Idris 2☆16Updated 9 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- Classical Logic in Haskell☆24Updated last week
- A dependently typed programming language with direct style effects and linearity☆19Updated 8 months ago
- Lens combinators for fused-effects.☆17Updated 4 years ago
- OCaml bindings for Binaryen.☆49Updated 3 weeks ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Updated 4 years ago
- OCaml backend for Idris2☆19Updated 4 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆11Updated 3 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Dependent hash maps☆14Updated 10 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 2 months ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆17Updated last month
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Updated 2 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated last year