Popular repositories Loading

1. misti misti Public

   TON Static Analyzer

   TypeScript 50 7

2. skry skry Public

   An experimental security tool for Sui Move smart contracts that combines static program analysis and LLM.

   Python 6

3. blueprint-misti blueprint-misti Public

   Blueprint Misti Plugin

   TypeScript 4 1

4. souffle.js souffle.js Public

   Soufflé bindings for JavaScript/TypeScript

   TypeScript 2

5. ocaml-func ocaml-func Public

   OCaml library providing AST and parser for FunC

   OCaml 1

6. nowarp.github.io nowarp.github.io Public

   TypeScript 4