effect-handlers / wasm-effect-handlers
WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
β32Updated 2 years ago
Alternatives and similar repositories for wasm-effect-handlers:
Users that are interested in wasm-effect-handlers are comparing it to the libraries listed below
- OCaml with typed algebraic effectsβ49Updated 6 years ago
- π¦ Reusable components based on algebraic effectsβ49Updated 5 months ago
- Tools for the runtime tracing in OCaml 4.11.0 and higherβ31Updated 2 years ago
- Trivial/Tagless Polytypic Functionsβ23Updated 4 years ago
- β42Updated last year
- Runtime types for OCaml (beta version)β24Updated 4 months ago
- A Framework for building Batched Concurrent Servicesβ21Updated 5 months ago
- Experimental model checker for testing concurrent algorithmsβ33Updated 3 months ago
- multi-shot continuations in OCamlβ48Updated last month
- Yet another type combinator libraryβ54Updated 3 years ago
- Lower-Kinded Optics for OCamlβ23Updated last week
- Declarative events and signals for OCamlβ50Updated 11 months ago
- A library with an encoding of higher kinded types in OCamlβ40Updated 4 months ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.β37Updated 2 years ago
- Property-based testing at easeβ42Updated 3 years ago
- Monad-based linear types in OCaml, with a few syntax extensionsβ37Updated 5 years ago
- A pretty-printing combinator library for OCamlβ49Updated 7 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β22Updated 3 years ago
- A library that makes it nicer to work with nested functional data structuresβ58Updated 4 months ago
- Asynchronous effect based IOβ32Updated 3 years ago
- An MVC library for writing interactive webpages in OCamlβ35Updated 10 years ago
- OCaml syntax extension for quoting codeβ26Updated 2 years ago
- Tools for record-and-replay debuggingβ43Updated 2 years ago
- Parallel version of incremental libraryβ19Updated last year
- Multiparty Session Types in OCamlβ59Updated 4 months ago
- Show the internal dependencies in your OCaml/Reason/Dune projectβ59Updated 2 months ago
- A scheduler independent blocking mechanismβ15Updated last year
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernelβ43Updated 2 years ago
- a solver for opam packages using 0install's solver engineβ22Updated 5 months ago
- PBT testsuite and libraries for testing multicore OCamlβ39Updated this week