CharlesAverill / proofchatLinks
A verified(?) TCP client/server chat application
☆23Updated last week
Alternatives and similar repositories for proofchat
Users that are interested in proofchat are comparing it to the libraries listed below
Sorting:
- ☆19Updated 2 weeks ago
- Dependency graphs for OCaml modules, libraries and packages☆39Updated 2 months ago
- Interactive breakpoints!☆43Updated 2 months ago
- Lock-free Sets and Maps for OCaml multicore☆36Updated 3 years ago
- Runtime assertion checking based on Gospel specifications☆50Updated 3 weeks ago
- OCaml behind the scenes: exceptions☆31Updated 2 years ago
- Pretty-printing for error source locations☆36Updated 3 years ago
- Parallel version of incremental library☆19Updated last year
- Cpu topology and affinity for ocaml-multicore☆50Updated last month
- OCaml notebooks as a WebComponent☆43Updated last week
- ☆24Updated last year
- A balanced binary search tree library for OCaml☆21Updated 9 months ago
- A PPX deriver that automates differential testing for OCaml modules☆25Updated 10 months ago
- 6502 chip simulator in OCaml☆13Updated last year
- Tools for record-and-replay debugging☆43Updated 2 years ago
- Auditively feel the work of the runtime☆32Updated last year
- A small library to output memory graph for ocaml values☆39Updated last year
- NES emulator in OCaml☆43Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆85Updated last year
- relation query language, with typed embedding into OCaml☆17Updated 7 months ago
- LP and MIP modeling in OCaml☆28Updated 3 months ago
- OCaml PPX deriver for reflection☆53Updated 2 years ago
- ☆31Updated 3 months ago
- multi-shot continuations in OCaml☆49Updated 7 months ago
- PBT testsuite and libraries for testing multicore OCaml☆43Updated last week
- Reactive signals for OCaml.☆17Updated last year
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Updated 8 months ago
- Emacs client for statistical memory profiler☆17Updated 5 years ago
- Memory-efficient data structures in OCaml☆37Updated 3 years ago
- Irmin-based Markdown Editor☆49Updated 2 years ago