tweag / haskell-binaryen
Haskell bindings to binaryen.
☆13Updated 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
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- A TOML parser for Idris 2☆15Updated 6 months ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Fωμ type checker and compiler☆52Updated last year
- A dependently typed programming language with direct style effects and linearity☆19Updated 5 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Haskell bindings to Rust's regex library☆18Updated 7 months ago
- 🩺 A library for compiler diagnostics☆37Updated 3 weeks ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- A library with an encoding of higher kinded types in OCaml☆39Updated 2 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- OCaml plus Jane Street extensions☆73Updated 6 months ago
- Fast higher-order effect handlers with evidence passing☆17Updated last year
- My Idris2 solutions/attempts for Advent of Code 2020☆17Updated 4 years ago
- Wasm library for PureScript☆27Updated 5 months ago
- 🪆 A Staged Type Theory☆34Updated last year
- A functional scripting language.☆18Updated 3 months ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 5 years ago
- A toy dependent typed language.☆24Updated this week
- A Haskell monad transformer library for data validation☆36Updated last year
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated last year
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- Purely functional map and set data structures☆36Updated 9 months ago
- Deep evaluation of data structures☆41Updated 4 months ago
- an encoding of affine effect handlers using pthreads☆13Updated 2 years ago