Popular repositories Loading

1. misti misti Public

   TON Static Analyzer

   TypeScript 52 6

2. skry skry Public

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

   Python 7

3. blueprint-misti blueprint-misti Public

   Blueprint Misti Plugin

   TypeScript 4 1

4. move-fuzz move-fuzz Public

   Sui Move Fuzzer: 884 move-specific MetaMut-style mutations, harness, dicts, utilities

   Rust 3

5. souffle.js souffle.js Public

   Soufflé bindings for JavaScript/TypeScript

   TypeScript 2

6. ocaml-func ocaml-func Public

   OCaml library providing AST and parser for FunC

   OCaml 1