Pinned Loading

1. formalsec/smtml formalsec/smtml Public

   An SMT solver frontend for OCaml

   OCaml 55 14

2. OCamlPro/owi OCamlPro/owi Public

   Seamless bug-finding for C, C++, Rust, Wasm and Zig

   OCaml 269 34

3. formalsec/wasp formalsec/wasp Public

   WASP was superseded by: https://github.com/OCamlPro/owi

   OCaml 16 2

4. wasm-se-bench wasm-se-bench Public

   Benchmarking Symbolic Execution tools for Wasm

   Python 1

5. formalsec/graphjs formalsec/graphjs Public

   MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabilities.

   TypeScript 21 2

6. filipeom.github.io filipeom.github.io Public

   A static site generator built with OCaml 5 and Eio, using direct-style fibers for concurrent asset and page generation.

   OCaml