formalsec / smtml
A frontend for multiple SMT solvers in OCaml
☆26Updated this week
Related projects ⓘ
Alternatives and complementary repositories for smtml
- 🩺 A library for compiler diagnostics☆35Updated last week
- multi-shot continuations in OCaml☆46Updated 2 weeks ago
- Runtime assertion checking based on Gospel specifications☆38Updated 3 weeks ago
- The official LLVM OCaml binding but built using dune☆25Updated 4 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 4 months ago
- The Steel separation logic library for F*☆31Updated 3 weeks ago
- ☆23Updated last month
- IO should be just a library☆23Updated last year
- A small library to output memory graph for ocaml values☆35Updated 4 months ago
- A Deductive Verification Tool for OCaml Programs☆60Updated 4 months ago
- A Framework for building Batched Concurrent Services☆20Updated last month
- Tools for record-and-replay debugging☆42Updated last year
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 5 months ago
- Playing with type systems☆46Updated 2 years ago
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- Common interface for tracing/instrumentation libraries in OCaml☆22Updated 2 weeks ago
- Command-Line Argument Parsing, imperative style with a consumption mechanism.☆24Updated last year
- 🦠 Reusable components based on algebraic effects☆48Updated last month
- ☆54Updated 2 weeks ago
- OCaml hacking ideas, small and large.☆19Updated 7 months ago
- Monitor Eio programs☆77Updated 8 months ago
- Purely functional GUI algebra☆72Updated 2 years ago
- A safer FFI interface for OCaml☆11Updated 3 months ago
- Dependency graphs for OCaml modules, libraries and packages☆34Updated 3 months ago
- Algebraic structures in OCaml.☆21Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆53Updated 3 weeks ago
- An OCaml library providing a C parser and lexer☆40Updated this week
- An ocaml implementation of conflict-driven reasoning☆15Updated 6 years ago
- A deterministic parser with fused lexing☆71Updated last year