semgrep / semgrep-interfaces
Store the ATD/openapi/protobuf/... interfaces between semgrep components
☆17Updated this week
Alternatives and similar repositories for semgrep-interfaces:
Users that are interested in semgrep-interfaces are comparing it to the libraries listed below
- OCaml bindings for the userspace eBPF VM☆11Updated 2 years ago
- Foundations of Computer Science notebooks☆16Updated 3 months ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- A pipeline that deploys unikernels and other services☆23Updated this week
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated this week
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Minimal support for Canonical S-expressions☆27Updated last year
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago
- A traceable distributed computation framework☆22Updated 5 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- [@@deriving] plugin to generate Python conversion functions☆34Updated last month
- Library for color and formatting in the terminal☆21Updated 2 years ago
- Code examples for OCaml.☆9Updated 4 years ago
- Compiler Hacking Sessions Information☆11Updated last year
- Interactive memory profiler based on Memtrace☆29Updated last month
- Datatype-generic object-oriented transformations for OCaml☆16Updated 5 months ago
- Low Level Bindings to Libev☆29Updated 3 months ago
- Unix-specific portions of Core☆15Updated last month
- The OCaml findlib library manager☆33Updated 2 months ago
- experiments on distributed unikernels☆16Updated last month
- Numerical Optimisation Library☆15Updated last year
- Test framework for OCaml☆18Updated 3 weeks ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Time-zone handling☆12Updated 4 months ago
- Experimental effects-based wonderful webserver☆24Updated 9 months ago
- ☆15Updated last year
- Unofficial OCaml Standard Library Docs - Modern Theme☆11Updated 6 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆30Updated last month