janestreet / incrementalLinks
A library for incremental computations
☆962Updated 3 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 3 weeks ago
- Jane Street Capital's standard library overlay☆1,201Updated 3 weeks ago
- Parser combinators built for speed and memory efficiency☆698Updated last year
- Multicore OCaml☆766Updated 3 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,323Updated 4 months ago
- A functional programming language based on algebraic effect handlers☆902Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆416Updated 3 years ago
- Compiler from OCaml to Javascript.☆1,076Updated this week
- Implementations of various type systems in OCaml.☆1,597Updated 10 years ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆450Updated last year
- Standard library for OCaml☆1,007Updated 3 weeks ago
- Links: Linking Theory to Practice for the Web☆349Updated 5 months ago
- Concurrent Programming with Effect Handlers☆706Updated last year
- Jane Street Capital's asynchronous execution library☆232Updated 3 weeks ago
- Functional language with intensional polymorphism and first-class staging.☆943Updated 2 months ago
- Pure OCaml Git format and protocol☆369Updated 8 months ago
- Hazel, a live functional programming environment with typed holes☆1,071Updated this week
- OCaml promises and concurrent I/O☆779Updated last week
- Irmin is a distributed database that follows the same design principles as Git☆1,923Updated this week
- A language and an embedded JIT compiler☆1,190Updated last month
- Tutorial on Multicore OCaml parallel programming with domainslib☆293Updated last year
- A library for building dynamic webapps, using Js_of_ocaml☆634Updated 3 weeks ago
- The Hindley Milner Type Inference Algorithm☆376Updated 9 years ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆737Updated 4 years ago
- Proving leftpad correct two-dozen different ways☆715Updated 9 months ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,657Updated last week
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆516Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆770Updated 3 weeks ago
- Programming Languages Zoo☆1,578Updated last year
- Various experiments in relational programming☆273Updated 3 years ago