| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| huchenxucs/ChatDB | Python | 391 | +5 | 32 | 0 |
| JonathanSalwan/VMProtect-devirtualization | RoffCHTML | 979 | 0 | 167 | 0 |
| viperproject/silicon | ScalaBoogieSMT | 64 | 0 | 27 | 0 |
| JonathanSalwan/Triton | C++PythonC | 3k | 0 | 520 | 0 |
| JonathanSalwan/Tigress_protection | LLVMPythonC | 744 | 0 | 147 | 0 |
| FuzzingLabs/thoth | PythonCairoTypeScript | 219 | 0 | 21 | 0 |
| cksystemsteaching/selfie | Jupyter NotebookCPython | 2.3k | 0 | 299 | 0 |
| Xpitfire/symbolicai | PythonJupyter NotebookOther | 694 | 0 | 31 | 0 |
| wasp-platform/encoding | OCamlOther | 3 | 0 | 5 | 0 |
| BinaryAnalysisPlatform/bap | OCamlCommon LispC++ | 1.9k | -1 | 275 | 0 |