The Herd toolsuite to deal with .cat memory models (version 7.xx)
☆293Mar 2, 2026Updated this week
Alternatives and similar repositories for herdtools7
Users that are interested in herdtools7 are comparing it to the libraries listed below
Sorting:
- A verification tool for many memory models☆114Updated this week
- RISC-V architecture concurrency model litmus tests☆100Jan 21, 2026Updated last month
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- A quirky object oriented standard library for ocaml☆17Apr 11, 2021Updated 4 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Jan 26, 2024Updated 2 years ago
- Generic model checker for concurrent C programs (mirror repository)☆192Nov 28, 2025Updated 3 months ago
- [beta] High-level wrapper around ocaml-sqlite3☆17Apr 28, 2022Updated 3 years ago
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- ☆11Nov 14, 2023Updated 2 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Tool for checking trace equivalence for security protocols☆17Oct 27, 2020Updated 5 years ago
- The C4 Concurrent C Fuzzer☆14Nov 2, 2023Updated 2 years ago
- A workshop full of programs in various states of disrepair and in somes cases, distress☆11Nov 27, 2025Updated 3 months ago
- A formalization of the RVWMO (RISC-V) memory model☆36Jun 23, 2022Updated 3 years ago
- OCaml bindings to Minisat☆12May 6, 2024Updated last year
- Erlang style process/actor model library in OCaml☆16Apr 23, 2023Updated 2 years ago
- Generates calendars in SVG, that you can convert to PDF and print.☆12May 4, 2022Updated 3 years ago
- Format string experimentations☆13Jul 19, 2021Updated 4 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 3 months ago
- Modeling Architectural Platform☆221Feb 26, 2026Updated last week
- Fast, safe mutable dynamic arrays for OCaml☆28Jan 18, 2024Updated 2 years ago
- Memory consistency modelling using Alloy☆31Dec 16, 2020Updated 5 years ago
- Url safe slug generator for OCaml☆16Jul 19, 2021Updated 4 years ago
- ML's radishal Universal Levenshtein Automata library.☆13Jan 5, 2022Updated 4 years ago
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Feb 6, 2025Updated last year
- Sail architecture definition language☆845Feb 28, 2026Updated last week
- ☆71May 29, 2019Updated 6 years ago
- HTTP/1.1 client library for OCaml☆15Apr 28, 2020Updated 5 years ago
- Ocamldap is an implementation of the Light Weight Directory Access Protocol☆15Dec 8, 2025Updated 2 months ago
- OCaml implementation of histogram-approximation algorithm☆15Oct 28, 2022Updated 3 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Feb 23, 2026Updated last week
- rmem public repo☆49May 21, 2025Updated 9 months ago
- Efficient caching library for OCaml☆33Sep 27, 2023Updated 2 years ago
- An OCaml library for manipulating Labeled Transition Systems☆25Jan 24, 2024Updated 2 years ago
- Portable implementation of the Irmin Watch API☆14Feb 10, 2026Updated 3 weeks ago
- POSIX sendmsg bindings for OCaml☆16Nov 5, 2016Updated 9 years ago
- reductive and reason-react reducer component integration with Redux DevTools☆22Apr 30, 2021Updated 4 years ago