janestreet / incrementalLinks
A library for incremental computations
☆961Updated 2 weeks ago
Alternatives and similar repositories for incremental
Users that are interested in incremental are comparing it to the libraries listed below
Sorting:
- A library for building dynamic webapps, using Js_of_ocaml.☆393Updated 2 weeks ago
- Jane Street Capital's standard library overlay☆1,201Updated 2 weeks ago
- Multicore OCaml☆766Updated 3 years ago
- Parser combinators built for speed and memory efficiency☆698Updated last year
- A functional programming language based on algebraic effect handlers☆902Updated 2 months ago
- Implementations of various type systems in OCaml.☆1,596Updated 10 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,322Updated 4 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Updated 3 years ago
- Compiler from OCaml to Javascript.☆1,076Updated this week
- Functional language with intensional polymorphism and first-class staging.☆943Updated 2 months ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆450Updated last year
- Irmin is a distributed database that follows the same design principles as Git☆1,921Updated this week
- Jane Street Capital's asynchronous execution library☆230Updated 2 weeks ago
- Concurrent Programming with Effect Handlers☆706Updated last year
- Pure OCaml Git format and protocol☆369Updated 8 months ago
- Links: Linking Theory to Practice for the Web☆349Updated 5 months ago
- Hazel, a live functional programming environment with typed holes☆1,066Updated this week
- Standard library for OCaml☆1,007Updated 2 weeks ago
- Proving leftpad correct two-dozen different ways☆715Updated 9 months ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆516Updated 3 weeks ago
- A library for building dynamic webapps, using Js_of_ocaml☆631Updated 2 weeks ago
- Programming Languages Zoo☆1,578Updated last year
- The Hindley Milner Type Inference Algorithm☆376Updated 9 years ago
- OCaml promises and concurrent I/O☆779Updated this week
- Project: M36 Relational Algebra Engine☆941Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆769Updated 2 weeks ago
- An in-memory datalog implementation for OCaml.☆276Updated last year
- Tutorial on Multicore OCaml parallel programming with domainslib☆293Updated last year
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆737Updated 4 years ago
- V2 of Real World OCaml☆1,248Updated last year