effect-handlers / wasm-specLinks
WebAssembly specification, reference interpreter, and test suite.
☆13Updated last year
Alternatives and similar repositories for wasm-spec
Users that are interested in wasm-spec are comparing it to the libraries listed below
Sorting:
- Software Transactional Memory for OCaml☆125Updated last month
- A playground for parsers, type checkers, interpreters, compilers, etc.☆40Updated 6 months ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆40Updated 7 months ago
- A toy language based on LLVM that implements the System Fω type-system☆110Updated last year
- Playing with type systems☆51Updated 6 months ago
- SML reference interpreter☆116Updated 2 years ago
- Automated S-expression conversion☆159Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated 2 months ago
- Ordo: A minimalist language with row polymorphism☆82Updated 3 months ago
- A collection of programming languages and type systems.☆33Updated 2 months ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- A pure type system implemented in OCaml☆78Updated 4 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆141Updated 6 years ago
- Interpreter of the ITGL with dynamic type inference☆22Updated 4 months ago
- System Fω interpreter for use in Advanced Functional Programming course☆65Updated last year
- Writeup that goes along with this:☆40Updated 7 years ago
- Public course materials for CSE 131 (Compilers)☆18Updated 5 years ago
- A MinCaml compiler implemented in Rust☆43Updated 2 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆69Updated 3 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- The MLPolyR programming language, revived☆25Updated 4 years ago
- A pretty-printing combinator library for OCaml☆51Updated 11 months ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆31Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Example row-polymorphism implementations☆61Updated last year