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:
- Foundations of Computer Science notebooks☆16Updated 8 months ago
- Minimal support for Canonical S-expressions☆28Updated last year
- Experimental model checker for testing concurrent algorithms☆36Updated 6 months ago
- GADT-based field accessors and utilities☆17Updated 2 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…☆40Updated 11 months ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 3 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 4 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Updated 7 months ago
- The official LLVM OCaml binding but built using dune☆25Updated 4 months ago
- A new language for optimization☆13Updated 4 years ago
- The C4 Concurrent C Fuzzer☆14Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 4 years ago
- Various mechanized proof files for fun.☆11Updated 4 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 5 months ago
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆20Updated 3 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Updated last year
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated 2 years ago
- A pipeline that deploys unikernels and other services☆23Updated 3 weeks ago
- A scheduler independent blocking mechanism☆17Updated last year
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 5 months ago
- An ocaml implementation of conflict-driven reasoning☆14Updated 6 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last week
- Compiler Hacking Sessions Information☆11Updated 2 years ago
- Bisector tree implementation in OCaml☆25Updated last year
- Experimental parallel and concurrent OCaml☆14Updated 2 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35Updated 3 years ago
- Multinomials for the Mathematical Components library.☆14Updated this week