janestreet / incrementalLinks
A library for incremental computations
☆957Updated last month
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.☆392Updated last month
- Jane Street Capital's standard library overlay☆1,197Updated last month
- Multicore OCaml☆766Updated 3 years ago
- A functional programming language based on algebraic effect handlers☆900Updated 2 months ago
- Parser combinators built for speed and memory efficiency☆695Updated last year
- Implementations of various type systems in OCaml.☆1,595Updated 10 years ago
- Irmin is a distributed database that follows the same design principles as Git☆1,916Updated last week
- Compiler from OCaml to Javascript.☆1,071Updated 3 weeks ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆450Updated last year
- Research on integrating datalog & lambda calculus via monotonicity types☆414Updated 3 years ago
- Jane Street Capital's asynchronous execution library☆229Updated last month
- Standard library for OCaml☆999Updated last month
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,320Updated 3 months ago
- Links: Linking Theory to Practice for the Web☆349Updated 4 months ago
- Concurrent Programming with Effect Handlers☆705Updated last year
- V2 of Real World OCaml☆1,246Updated last year
- The Pyret language.☆1,118Updated 2 months ago
- Hazel, a live functional programming environment with typed holes☆1,064Updated this week
- Functional language with intensional polymorphism and first-class staging.☆943Updated last month
- A library for building dynamic webapps, using Js_of_ocaml☆631Updated last month
- OCaml promises and concurrent I/O☆776Updated this week
- Pure OCaml Git format and protocol☆369Updated 7 months ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆767Updated 3 weeks ago
- Proving leftpad correct two-dozen different ways☆713Updated 8 months ago
- The Ur/Web programming language☆833Updated last year
- Context sensitive completion for OCaml in Vim and Emacs☆1,654Updated 3 weeks ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆734Updated 4 years ago
- A language and an embedded JIT compiler☆1,189Updated last week
- High-performance, Reliable, and Parallel APL☆777Updated this week
- The Hindley Milner Type Inference Algorithm☆376Updated 9 years ago