tweag / haskell-binaryen
Haskell bindings to binaryen.
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-binaryen
- An interpreter of F-ing modules☆18Updated 5 years ago
- A TOML parser for Idris 2☆15Updated 4 months ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Fωμ type checker and compiler☆51Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Haskell bindings to Rust's regex library☆18Updated 5 months ago
- ⚖️ Trial Data Type☆20Updated 6 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- A type-safe, stack-based functional programming language☆15Updated 2 years ago
- Lean 4 port of Megaparsec☆23Updated 10 months ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Fast higher-order effect handlers with evidence passing☆17Updated 10 months ago
- IDE support for the functional logic programming language Curry☆27Updated last week
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆19Updated last year
- Wasm library for PureScript☆26Updated 3 months ago
- An implementation of Haskell’s MVars in Racket☆28Updated last month
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- APIs for more recursive definitions☆19Updated 3 weeks ago
- an encoding of affine effect handlers using pthreads☆12Updated 2 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- 🪆 A Staged Type Theory☆34Updated last year
- The Steel separation logic library for F*☆31Updated last month
- ☆25Updated this week