Pinned Loading

1. smtml smtml Public

   An SMT solver frontend for OCaml

   OCaml 80 17

2. graphjs graphjs Public

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

   TypeScript 26 2

3. wasp wasp Public

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

   OCaml 16 2

4. whilloc whilloc Public

   A simple "while"-like programming language that includes memory allocation support.

   OCaml 7

5. ocaml-cvc5 ocaml-cvc5 Public

   OCaml bindings for the cvc5 SMT solver

   C++ 5 3