gborough / sarifLinks
Static Analysis Results Interchange Format (SARIF) For OCaml
☆14Updated 5 months ago
Alternatives and similar repositories for sarif
Users that are interested in sarif are comparing it to the libraries listed below
Sorting:
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆16Updated 6 months ago
- OCaml bindings to Minisat☆12Updated last year
- An interval library for OCaml☆16Updated 2 years ago
- A scheduler independent blocking mechanism☆17Updated last year
- Building Lua interpreters with lot's of functors☆13Updated 7 years ago
- ☆15Updated 6 years ago
- Binary packages for OPAM with local and remote repositories☆17Updated 2 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 4 years ago
- Dig into an opam switch for doc☆10Updated 3 years ago
- Minimal support for Canonical S-expressions☆28Updated 2 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated last month
- Toplevel expectation test☆18Updated this week
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 6 months ago
- Interactive memory profiler based on Memtrace☆31Updated this week
- Performance Application Programming Interface for OCaml☆16Updated 2 years ago
- A higher-level httpaf server interface☆12Updated 4 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- Self-adjusting computations☆22Updated last year
- Small examples of how to use AFL to fuzz OCaml programs☆15Updated 5 years ago
- OpenSSL bindings to OCaml EIO☆20Updated last year
- thread-local storage for OCaml☆17Updated 7 months ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Updated 4 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10Updated 3 years ago
- A simple websocket library for OCaml with no dependencies☆16Updated last year
- RISC-V OCaml cross compiler☆14Updated 6 years ago
- Easy Cmdliner☆13Updated 2 years ago
- OCaml asynchronous scheduler and monad for server-oriented programming.☆16Updated 4 months ago
- Defunctionalised higher-kinded polymorphism in OCaml.☆20Updated 4 years ago
- The Michelson Symbolic vErifier☆13Updated 2 years ago
- ☆12Updated 4 years ago