janestreet / patience_diff

Related projects ⓘ

Alternatives and complementary repositories for patience_diff

• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 3 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last month
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• janestreet / core_unix
  Unix-specific portions of Core
  ☆14Updated 2 weeks ago
• rizo / ocaml-by-example
  Code examples for OCaml.
  ☆9Updated 4 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆18Updated 2 weeks ago
• patricoferris / jsoo-todo-mvc
  A comparison of Js_of_ocaml libraries for building reactive UIs
  ☆11Updated 2 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated last year
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated last year
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 7 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• ocamllabs / focs-notebooks
  Foundations of Computer Science notebooks
  ☆16Updated last month
• nojb / ocaml-dht
  OCaml bindings for jech/dht
  ☆23Updated 4 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆15Updated 2 years ago
• slegrand45 / mysql_protocol
  OCaml implementation of MySQL/MariaDB protocol with the Bitstring library
  ☆14Updated 2 years ago
• sqids / sqids-ocaml
  Official OCaml port of Sqids. Generate short unique IDs from numbers.
  ☆9Updated 9 months ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• nojb / llvm-tiger
  A compiler for the Tiger programming language targeting LLVM
  ☆13Updated 7 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• jonsterling / tt
  secret project
  ☆17Updated 6 years ago
• ocaml / dbm
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Updated 4 months ago
• janestreet / zstandard
  OCaml bindings to Zstandard
  ☆24Updated 2 months ago
• ocaml-multicore / uring-trace
  Visualization tool for your IO-uring workload
  ☆14Updated 3 months ago
• Drup / LILiS
  L-system interpreter in OCaml
  ☆22Updated 8 years ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago