janestreet / incremental

Related projects ⓘ

Alternatives and complementary repositories for incremental

• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,112Updated last month
• janestreet / incr_dom
  A library for building dynamic webapps, using Js_of_ocaml.
  ☆381Updated last month
• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆762Updated last year
• janestreet / base
  Standard library for OCaml
  ☆863Updated this week
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,540Updated 9 years ago
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆648Updated last month
• janestreet / bonsai
  A library for building dynamic webapps, using Js_of_ocaml
  ☆363Updated this week
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆797Updated this week
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆862Updated last month
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,221Updated this week
• ocsigen / js_of_ocaml
  Compiler from OCaml to Javascript.
  ☆959Updated this week
• ocaml-multicore / effects-examples
  Examples to illustrate the use of algebraic effects in Multicore OCaml
  ☆422Updated 5 months ago
• janestreet / async
  Jane Street Capital's asynchronous execution library
  ☆206Updated last month
• rntz / datafun
  Research on integrating datalog & lambda calculus via monotonicity types
  ☆387Updated 2 years ago
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆492Updated this week
• mirage / ocaml-git
  Pure OCaml Git format and protocol
  ☆362Updated 2 months ago
• inhabitedtype / httpaf
  A high performance, memory efficient, and scalable web server written in OCaml
  ☆534Updated 5 months ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,165Updated 6 months ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆923Updated 2 weeks ago
• mirage / ocaml-cohttp
  An OCaml library for HTTP clients and servers using Lwt or Async
  ☆713Updated last month
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆330Updated last week
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆283Updated 7 months ago
• the-little-typer / pie
  The Pie language, which accompanies The Little Typer by Friedman and Christiansen
  ☆697Updated 3 years ago
• pikatchu / LinearML
  Functional language for parallel programming
  ☆432Updated 7 years ago
• ocaml-multicore / ocaml-effects-tutorial
  Concurrent Programming with Effect Handlers
  ☆662Updated 4 months ago
• yallop / effects-bibliography
  A collaborative bibliography of work related to the theory and practice of computational effects
  ☆966Updated last week
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆752Updated last month
• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,582Updated 2 weeks ago
• ocaml-ppx / ppx_deriving
  Type-driven code generation for OCaml
  ☆465Updated last month
• ocaml-multicore / eio
  Effects-based direct-style IO for multicore OCaml
  ☆560Updated 2 weeks ago