semgrep / semgrep-interfaces
Store the ATD/openapi/protobuf/... interfaces between semgrep components
☆16Updated this week
Related projects ⓘ
Alternatives and complementary repositories for semgrep-interfaces
- Foundations of Computer Science notebooks☆16Updated last month
- OCaml bindings for the userspace eBPF VM☆11Updated 2 years ago
- Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers☆14Updated last year
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- Test framework for OCaml☆16Updated 2 months ago
- A pipeline that deploys unikernels and other services☆22Updated 2 weeks ago
- Minimal support for Canonical S-expressions☆27Updated last year
- XLA (Accelerated Linear Algebra) bindings for OCaml☆29Updated 4 months ago
- Library for color and formatting in the terminal☆20Updated 2 years ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- A traceable distributed computation framework☆22Updated 5 years ago
- The OCaml findlib library manager☆27Updated this week
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆29Updated this week
- Interactive memory profiler based on Memtrace☆29Updated this week
- A new language for optimization☆13Updated 3 years ago
- Visualization tool for your IO-uring workload☆14Updated 2 months ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Updated 3 years ago
- Experimental parallel and concurrent OCaml☆14Updated last year
- Convert Markdown and YAML Data to OCaml Modules☆17Updated last year
- Datatype-generic object-oriented transformations for OCaml☆16Updated 3 months ago
- Unix-specific portions of Core☆14Updated this week
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆11Updated 2 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- The official LLVM OCaml binding but built using dune☆25Updated 4 months ago
- Benchmarking framework for OCaml☆23Updated 10 months ago
- A CHIP8 emulator written in OCaml☆18Updated 2 years ago
- Distribute CI builds to worker nodes over Cap'n Proto☆34Updated last month
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Example URL shortener MirageOS unikernel using Chamelon.☆18Updated 2 years ago