semgrep / semgrep-interfacesLinks
Store the ATD/openapi/protobuf/... interfaces between semgrep components
☆18Updated this week
Alternatives and similar repositories for semgrep-interfaces
Users that are interested in semgrep-interfaces are comparing it to the libraries listed below
Sorting:
- Test framework for OCaml☆28Updated this week
- OCaml code generator and runtime library for handling typed tree-sitter CSTs☆41Updated last week
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated 2 years ago
- GADT-based field accessors and utilities☆17Updated 3 weeks ago
- An OCaml library providing a C parser and lexer☆42Updated 11 months ago
- The official LLVM OCaml binding but built using dune☆25Updated 8 months ago
- Experimental model checker for testing concurrent algorithms☆39Updated 10 months ago
- A Deductive Verification Tool for OCaml Programs☆75Updated 3 weeks ago
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- ☆13Updated 3 years ago
- ☆16Updated 6 years ago
- Interactive memory profiler based on Memtrace☆32Updated 3 weeks ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆10Updated 2 weeks ago
- OCaml plus Jane Street extensions☆72Updated last year
- OCaml syntax extension for quoting code☆27Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆50Updated 3 weeks ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆43Updated last year
- ☆14Updated 9 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Updated 2 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- The Steel separation logic library for F*☆36Updated 3 weeks ago
- A simple BDD library for OCaml☆13Updated 5 months ago
- OCaml interface for creating Dockerfiles☆66Updated last week
- First-order automated theorem prover based on the tableau method☆17Updated 2 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- A scheduler independent blocking mechanism☆19Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Updated 2 years ago