ocaml-multicore / ocaml-effects-tutorial
Concurrent Programming with Effect Handlers
☆678Updated 10 months ago
Alternatives and similar repositories for ocaml-effects-tutorial:
Users that are interested in ocaml-effects-tutorial are comparing it to the libraries listed below
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆438Updated 11 months ago
- A functional programming language based on algebraic effect handlers☆873Updated 7 months ago
- Multicore OCaml☆765Updated 2 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,032Updated 2 weeks ago
- OCaml promises and concurrent I/O☆754Updated last week
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- A library for building dynamic webapps, using Js_of_ocaml.☆388Updated last week
- Compiler from OCaml to Javascript.☆1,008Updated this week
- Type-driven code generation for OCaml☆481Updated last month
- Programming language agnostic type construction language based on polynomials.☆367Updated 11 months ago
- A high performance, memory efficient, and scalable web server written in OCaml☆542Updated 11 months ago
- Functional programming with fewer indirections☆762Updated 4 years ago
- Sinatra like web toolkit for OCaml☆775Updated 3 months ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆732Updated last month
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆498Updated 2 months ago
- Parser combinators built for speed and memory efficiency☆671Updated 7 months ago
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- Static types for JSON APIs☆324Updated 2 weeks ago
- Effects-based direct-style IO for multicore OCaml☆605Updated 3 months ago
- Software Foundations in Idris☆455Updated 5 years ago
- V2 of Real World OCaml☆1,212Updated 9 months ago
- A lightweight and colourful test framework☆477Updated last month
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆611Updated last month
- Links: Linking Theory to Practice for the Web☆337Updated last month
- OCaml & Reason support for Visual Studio Code☆490Updated last year
- An HTTP/2 implementation written in pure OCaml☆315Updated 8 months ago
- Pure OCaml Git format and protocol☆364Updated 2 months ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- Documentation of everything relevant in the OCaml world☆181Updated this week