An overview of property-based testing functionality
☆82Nov 12, 2025Updated 3 months ago
Alternatives and similar repositories for pbt-frameworks
Users that are interested in pbt-frameworks are comparing it to the libraries listed below
Sorting:
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- A prototype to write blog posts with executable ocaml code blocks☆10Apr 25, 2025Updated 10 months ago
- An MVC library for writing interactive webpages in OCaml☆35Jan 23, 2015Updated 11 years ago
- A list of bugs found by SQLancer☆17Jan 30, 2024Updated 2 years ago
- A simple GUI for Agda☆31Dec 13, 2015Updated 10 years ago
- Benchmarking environment for http servers☆22Jan 9, 2026Updated last month
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago
- Monitor Eio programs☆87Feb 11, 2026Updated 2 weeks ago
- Lock-free Sets and Maps for OCaml multicore☆37Sep 20, 2022Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- Awesome Agda Programming☆18Sep 22, 2025Updated 5 months ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆37Dec 1, 2025Updated 3 months ago
- Repo of the original work on finally tagless (and a lot of other metaocaml work besides)☆43Nov 28, 2018Updated 7 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- Script that greps anything in the sources of every opam packages☆25Oct 10, 2025Updated 4 months ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- A small library to output memory graph for ocaml values☆40Jun 28, 2024Updated last year
- ☆11May 12, 2025Updated 9 months ago
- Parallelize _anything_ //☆54Oct 5, 2023Updated 2 years ago
- An OCaml mutation tester☆67Nov 24, 2025Updated 3 months ago
- Mirror for https://sr.ht/~johnridesabike/acutis/☆26Dec 16, 2025Updated 2 months ago
- Not a filesystem for Mirage block devices☆25Sep 3, 2024Updated last year
- Interoperable effects based concurrency☆143Jan 24, 2026Updated last month
- A statically generated webring with YOCaml, because we love small-web☆24Aug 25, 2025Updated 6 months ago
- OCaml behind the scenes: exceptions☆31Oct 10, 2023Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- Property fuzzing for OCaml☆199Nov 18, 2025Updated 3 months ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- Library for tokenizing code with TextMate grammars☆12Jan 4, 2024Updated 2 years ago
- A phylogenetic tree of animals☆13Sep 25, 2016Updated 9 years ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- thread-local storage for OCaml☆17Jan 13, 2025Updated last year
- Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex☆10Mar 18, 2024Updated last year
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆56Jan 10, 2026Updated last month
- ☆10Nov 1, 2017Updated 8 years ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆29Feb 13, 2026Updated 2 weeks ago
- OCaml notebooks as a WebComponent☆47Oct 4, 2025Updated 4 months ago