Alternatives and similar repositories for patience_diff

Users that are interested in patience_diff are comparing it to the libraries listed below

• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 11 months ago
• c-cube / quip
  [wip] Proof format and checker for first-order and higher-order theorem provers
  ☆12Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆20Updated 3 months ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• BranchTaken / Hemlock
  Programming language
  ☆38Updated 4 months ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated 2 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆34Updated 7 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 6 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆33Updated 7 years ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 5 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 5 years ago
• fafk / merkle_storage
  Key-value git-like storage with full history backed by RocksDB
  ☆13Updated 5 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 7 months ago
• janestreet / async_websocket
  A library that implements the websocket protocol on top of Async
  ☆14Updated last week
• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆18Updated 3 years ago
• janestreet / bin_prot
  Binary protocol generator
  ☆87Updated last week
• jonsterling / tt
  secret project
  ☆17Updated 7 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆37Updated last week
• ocsigen / deriving
  Extension to OCaml for deriving functions from type declarations.
  ☆26Updated 4 years ago
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 6 years ago
• patricoferris / irmin-socket
  Some fun with creating little collaborative browser things...
  ☆11Updated 4 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 7 years ago
• whitequark / ocaml-lz4
  OCaml bindings for LZ4, a very fast lossless compression algorithm
  ☆25Updated 2 years ago
• owlbarn / actor
  Owl's Parallel & Distributed Computing Engine
  ☆29Updated 6 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 6 months ago
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆25Updated 6 months ago