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:
- OCaml code generator and runtime library for handling typed tree-sitter CSTs☆38Updated 2 months ago
- Test framework for OCaml☆27Updated last week
- GADT-based field accessors and utilities☆17Updated 3 weeks ago
- The official LLVM OCaml binding but built using dune☆25Updated 7 months ago
- 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
- Interactive memory profiler based on Memtrace☆31Updated last month
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- An OCaml library providing a C parser and lexer☆42Updated 10 months ago
- A simple BDD library for OCaml☆13Updated 4 months ago
- Experimental model checker for testing concurrent algorithms☆39Updated 9 months ago
- A Deductive Verification Tool for OCaml Programs☆75Updated last month
- OCaml plus Jane Street extensions☆73Updated last year
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆42Updated 5 months ago
- OCaml syntax extension for quoting code☆26Updated last month
- Kleene algebra modulo theories☆27Updated 2 years ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆14Updated 3 months ago
- A Btree library in OCaml☆18Updated 2 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Updated 2 years ago
- ☆16Updated 6 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- ☆14Updated 7 months ago
- Runtime assertion checking based on Gospel specifications☆48Updated last week
- The OCaml findlib library manager☆36Updated 10 months 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
- Raw bindings to platform APIs for OCaml☆16Updated last year
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 6 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- A new language for optimization☆13Updated 4 years ago
- OCaml library for combinatorics☆35Updated 3 months ago