The Z3 Theorem Prover
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Facebook-style tooltips plugin for jQuery
HairDeck: Animation-Ready Stylized Hair Cards from a Single Image
PC port of Dragon Ball Z: Budokai Tenkaichi 3, built on the BT3-Decompiled project.
SuperGhidra: Autonomous Agent Reverse Engineering, Lock-Free Ghidra Daemon & C++ Recovery Suite
- arm64
- binary-analysis
- decompiler
- disassembler
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
🐇 CLI tool for websockets and Go package
- sockets
- golang
- go
- network
The repository host gives no description.
The repository host gives no description.
Simple PE32 Packer with aPLib compression library. I checked that this packer works on the program LinkParser.exe. This code must be compiled in release mode in order to work properly. I don't know the reason why. Sorry...