janestreet / patience_diffLinks
Tool and library implementing patience diff
☆24Updated last month
Alternatives and similar repositories for patience_diff
Users that are interested in patience_diff are comparing it to the libraries listed below
Sorting:
- Foundations of Computer Science notebooks☆17Updated 2 months ago
- Programming language☆39Updated 5 months ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- Key-value git-like storage with full history backed by RocksDB☆13Updated 5 years ago
- A traceable distributed computation framework☆22Updated 6 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33Updated 7 months ago
- Embed typed ASN.1 grammars in OCaml☆36Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- OCaml library for manipulating context-free grammars☆20Updated 3 weeks ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated last year
- Some fun with creating little collaborative browser things...☆11Updated 4 years ago
- Tracing library☆36Updated last month
- Yet another implementation of fork&exec and related functionality☆11Updated last month
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Updated 2 years ago
- An OCaml extension for RISC-V☆16Updated 5 years ago
- Unix-specific portions of Core☆18Updated last month
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Updated 6 years ago
- Owl's Parallel & Distributed Computing Engine☆29Updated 6 years ago
- A library that implements the websocket protocol on top of Async☆14Updated last month
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 8 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆38Updated 6 years ago
- Low-level OCaml/Java interface☆14Updated last year
- OCaml bindings for LZ4, a very fast lossless compression algorithm☆25Updated 2 years ago
- OCaml library for combinatorics☆35Updated 6 months ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated last year
- Just In Time compiler for OCaml native toplevel☆59Updated last year