510 skills found · Page 1 of 17
Z3Prover / Z3The Z3 Theorem Prover
trailofbits / ManticoreSymbolic execution tool
pschanely / CrossHairAn analysis tool for Python that blurs the line between testing and type systems.
prove-rs / Z3.rsRust bindings for the Z3 solver.
cmer / Gigabyte Z390 Aorus Master HackintoshA guide to build your own Hackintosh based on Gigabyte Z390 Aorus Master
presslabs / Z3Backup your ZFS snapshots to S3.
epfl-lara / StainlessVerification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
DebarghaG / ProofofthoughtProof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
PwnFunction / V8 Randomness PredictorUsing z3 to predict `Math.random` in v8
thomasjball / PyExZ3Python Exploration with Z3
zwegner / X86 SatBasic SAT model of x86 instructions using Z3, autogenerated from Intel docs
BenjaminX / Hackintosh Gigabyte Z390M GAMINGOnly for OpenCore bootloader
icyleaf / EFI ASRock Z390 Phantom Gaming ITXMini ITX 4k 视频剪辑黑苹果 macOS 13 Ventura OpenCore EFI since OS X 10.14.5
0vercl0k / Z3 PlaygroundA repository to store Z3-python scripts you can use as examples, reminders, whatever.
mc-imperial / JfsConstraint solver based on coverage-guided fuzzing
PwnFunction / Learn Z3Some challenge solutions solved using z3
FSecureLABS / Z3 And Angr Binary Analysis WorkshopCode and exercises for a workshop on z3 and angr
seven-of-eleven / Designare Z390 Opencore EfiGigabyte Designare z390 EFI - OpenCore
kokjo / UniversalropSmall tool for generating ropchains using unicorn and z3
testsmt / YinyangA fuzzing framework for SMT solvers
