janestreet / incremental
A library for incremental computations
☆886Updated 3 weeks ago
Alternatives and similar repositories for incremental:
Users that are interested in incremental are comparing it to the libraries listed below
- A library for building dynamic webapps, using Js_of_ocaml.☆382Updated 3 weeks ago
- Multicore OCaml☆763Updated 2 years ago
- Jane Street Capital's standard library overlay☆1,125Updated 3 weeks ago
- Parser combinators built for speed and memory efficiency☆655Updated 3 months ago
- Implementations of various type systems in OCaml.☆1,545Updated 9 years ago
- A functional programming language based on algebraic effect handlers☆863Updated 3 months ago
- Hazel, a live functional programming environment with typed holes☆807Updated this week
- Proving leftpad correct two-dozen different ways☆652Updated 3 weeks ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆700Updated 3 years ago
- Jane Street Capital's asynchronous execution library☆209Updated 3 weeks ago
- Research on integrating datalog & lambda calculus via monotonicity types☆388Updated 2 years ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆494Updated this week
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆422Updated 6 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,858Updated this week
- Standard library for OCaml☆877Updated 3 weeks ago
- Pure OCaml Git format and protocol☆362Updated 3 months ago
- Links: Linking Theory to Practice for the Web☆333Updated last month
- Compiler from OCaml to Javascript.☆968Updated this week
- A high performance, memory efficient, and scalable web server written in OCaml☆537Updated 6 months ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆285Updated 9 months ago
- WIP implementation of a Haskell-like Lisp in Racket☆1,166Updated 8 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,225Updated 2 weeks ago
- Sinatra like web toolkit for OCaml☆764Updated 6 months ago
- The MLton repository☆966Updated this week
- Liquid Types For Haskell☆1,204Updated this week
- Functional programming with fewer indirections☆759Updated 4 years ago
- Universal toplevel for OCaml☆850Updated 3 weeks ago
- Programming language agnostic type construction language based on polynomials.☆367Updated 6 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆975Updated this week
- A dependently typed programming language, a successor to Idris☆902Updated 4 years ago