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☆32Updated last month
- GADT-based field accessors and utilities☆17Updated this week
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- The official LLVM OCaml binding but built using dune☆25Updated 6 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
- An OCaml library providing a C parser and lexer☆42Updated 9 months ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Updated 8 months ago
- XLA (Accelerated Linear Algebra) bindings for OCaml☆33Updated 2 months ago
- A new language for optimization☆13Updated 4 years ago
- An overview of property-based testing functionality☆70Updated 2 months ago
- Foundations of Computer Science notebooks☆16Updated 10 months ago
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- A simple BDD library for OCaml☆13Updated 2 months ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆6Updated last month
- compiler libraries repackaged☆21Updated last year
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- Test framework for OCaml☆24Updated last week
- The Zenon theorem prover☆15Updated 2 years ago
- Static Analysis Results Interchange Format (SARIF) For OCaml☆14Updated 5 months ago
- Interactive memory profiler based on Memtrace☆31Updated this week
- The OCaml findlib library manager☆36Updated 8 months ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A Btree library in OCaml☆18Updated 2 years ago
- ☆13Updated 2 years ago
- A scheduler independent blocking mechanism☆17Updated last year
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 6 months ago
- OCaml syntax extension for quoting code☆26Updated 3 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago