janestreet / incrementalLinks
A library for incremental computations
☆925Updated 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.☆389Updated last month
- Jane Street Capital's standard library overlay☆1,152Updated last month
- Multicore OCaml☆765Updated 2 years ago
- A functional programming language based on algebraic effect handlers☆881Updated 2 weeks ago
- Implementations of various type systems in OCaml.☆1,583Updated 9 years ago
- Parser combinators built for speed and memory efficiency☆682Updated 10 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,290Updated 2 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆400Updated 3 years ago
- Compiler from OCaml to Javascript.☆1,032Updated this week
- Links: Linking Theory to Practice for the Web☆341Updated this week
- Standard library for OCaml☆932Updated last month
- Functional language with intensional polymorphism and first-class staging.☆936Updated last month
- Irmin is a distributed database that follows the same design principles as Git☆1,887Updated 3 weeks ago
- Jane Street Capital's asynchronous execution library☆220Updated last month
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆439Updated last year
- OCaml promises and concurrent I/O☆765Updated last week
- Context sensitive completion for OCaml in Vim and Emacs☆1,636Updated last week
- High-performance, Reliable, and Parallel APL☆756Updated 3 weeks ago
- Pure OCaml Git format and protocol☆364Updated 2 months ago
- Hazel, a live functional programming environment with typed holes☆969Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆745Updated last month
- The Mercury logic programming system.☆958Updated this week
- V2 of Real World OCaml☆1,226Updated last year
- A library for building dynamic webapps, using Js_of_ocaml☆583Updated last month
- Concurrent Programming with Effect Handlers☆690Updated last year
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,064Updated 3 months ago
- A language and an embedded JIT compiler☆1,183Updated 2 months ago
- Proving leftpad correct two-dozen different ways☆680Updated 3 months ago
- A programming language with static memory management based on λ-calculus☆1,002Updated this week
- The Ur/Web programming language☆819Updated last year