Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: cargo: z3-sys
Low-level bindings for the Z3 SMT solver from Microsoft Research
13 versions
Latest release: 10 months ago
9 dependent packages
278,249 downloads total
View more package details: https://packages.ecosyste.ms/registries/crates.io/packages/z3-sys
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/prove-rs%2Fz3.rs
Dependent Repos 96
ranweiler/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
- 0.6 src/agent/onefuzz-telemetry/Cargo.toml
Size: 19.5 MB - Last synced: 9 months ago - Pushed: 10 months ago
PLSysSec/scooter
- 0.6.3 Cargo.lock
- * static-checker/Cargo.toml
Size: 979 KB - Last synced: about 1 month ago - Pushed: over 1 year ago
falconre/falconre
Python bindings for falconre projects- 0.5.0 Cargo.lock
Size: 187 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago
losfair/blueboat
All-in-one, multi-tenant serverless JavaScript runtime.- 0.7.1 Cargo.lock
Size: 1.33 MB - Last synced: 17 days ago - Pushed: about 1 year ago
quilt/etk
evm toolkit- 0.7.1 Cargo.lock
Size: 39.7 MB - Last synced: 12 days ago - Pushed: 22 days ago
lizhuohua/rust-mir-checker
- 0.6.3 Cargo.lock
- 0.6.3 Cargo.toml
Size: 165 KB - Last synced: 11 days ago - Pushed: 12 months ago
rems-project/isla
Symbolic execution tool for Sail ISA specifications- 0.5.0 Cargo.lock
- 0.5.0 isla-lib/Cargo.toml
- 0.5.0 web/server/Cargo.lock
Size: 20.7 MB - Last synced: about 2 months ago - Pushed: about 2 months ago
prove-rs/z3.rs
Rust bindings for the Z3 solver.- 0.7.1 z3/Cargo.toml
Size: 579 KB - Last synced: 11 days ago - Pushed: about 1 month ago
falconre/raptor
A Higher level IR over Falcon IL- 0.7.1 Cargo.lock
Size: 424 KB - Last synced: 6 days ago - Pushed: over 2 years ago
falconre/finch
Symbolic Execution over Falcon IL- 0.7.0 Cargo.lock
Size: 227 KB - Last synced: 30 days ago - Pushed: over 2 years ago
facebookexperimental/MIRAI
Rust mid-level IR Abstract Interpreter- 0.7.1 Cargo.lock
- * checker/Cargo.toml
Size: 206 MB - Last synced: 12 days ago - Pushed: 5 months ago
pd0wm/exercises
Programming exercises, Project Euler, Advent of Code and CTF- 0.5.0 advent_of_code_2019/day_04/Cargo.lock
Size: 2.35 MB - Last synced: 25 days ago - Pushed: 5 months ago
benediktwerner/rewasm
Decompiler for WebAssembly binaries- 0.5.0 Cargo.lock
Size: 129 KB - Last synced: 25 days ago - Pushed: almost 3 years ago
JustinReiter/wombat-symx
- 0.7.1 Cargo.lock
Size: 210 KB - Last synced: about 1 year ago - Pushed: about 1 year ago
nuprl/jankscripten
- 0.6.3 Cargo.lock
Size: 2.04 MB - Last synced: 28 days ago - Pushed: over 1 year ago
willlunniss/aoc
🎄 Advent of Code solutions as a way to learn rust- 0.6.3 2018/Cargo.lock
Size: 1.14 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
RUB-SysSec/loki
Hardening code obfuscation against automated attacks- 0.3 loki/obfuscator/z3-rs/Cargo.toml
Size: 28.3 MB - Last synced: 4 months ago - Pushed: 4 months ago
WilfredTA/ser
Symbolic EVM in Rust (WIP)- 0.7.1 Cargo.lock
Size: 172 KB - Last synced: 5 months ago - Pushed: 5 months ago
kokizzu/blueboat Fork of losfair/blueboat
Blueboat is an open-source alternative to Cloudflare Workers. The monolithic engine for serverless web apps.- 0.7.1 Cargo.lock
Size: 1.28 MB - Last synced: 28 days ago - Pushed: about 1 year ago
fEst1ck/move-symbolic-execution
Symbolic executor for the Move programming language.- 0.7.1 Cargo.lock
Size: 101 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
KamilaBorowska/advent-of-code-2018 📦
- 0.4.0 Cargo.lock
Size: 243 KB - Last synced: 4 months ago - Pushed: 11 months ago
cdstanford/aoc2020
Advent of Code 2020 solutions- 0.6.3 Cargo.lock
Size: 200 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago
cksystemsgroup/monster
Monster is a symbolic execution engine for 64-bit RISC-U code- 0.7.1 Cargo.lock
Size: 2.75 MB - Last synced: 7 days ago - Pushed: 7 days ago
stishkin/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 17 MB - Last synced: about 2 months ago - Pushed: over 1 year ago
dwrensha/seer
symbolic execution engine for Rust- 0.3.0 Cargo.lock
Size: 619 KB - Last synced: 28 days ago - Pushed: almost 6 years ago
alex-chew/z3d-rs
the Z3 DSL interface for Rust- 0.5.0 Cargo.lock
Size: 15.6 KB - Last synced: 2 days ago - Pushed: almost 3 years ago
cksystemsgroup/unicorn
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers- 0.7.1 Cargo.lock
Size: 9.54 MB - Last synced: 7 days ago - Pushed: 7 days ago
facebookarchive/Rust-SMT-LIB-API 📦
An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.- 0.5.0 Cargo.lock
Size: 38.1 KB - Last synced: 25 days ago - Pushed: over 4 years ago
skius/imp
Big-step, small-step and axiomatic semantics for the IMP language (unofficial)- 0.7.1 Cargo.lock
Size: 146 KB - Last synced: about 1 year ago - Pushed: over 2 years ago
falconre/falcon-z3
Rust bindings for Z3- 0.7.1 Cargo.lock
Size: 39.1 KB - Last synced: 2 days ago - Pushed: over 2 years ago
elireisman/sudoku-z3-rs
Playing with Z3 SMT Solver in Rust- 0.7.1 Cargo.lock
Size: 34.2 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
donald-pinckney/pacsolve
- 0.7.1 .archived/z3_solver/Cargo.lock
Size: 488 MB - Last synced: 18 days ago - Pushed: over 1 year ago
Samuele0/cmd_net_tool
- 0.6.3 Cargo.lock
Size: 20.5 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago
yicuiheng/yil
- 0.7.1 Cargo.lock
Size: 118 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago
neil4dong/databend Fork of datafuselabs/databend
A modern cloud data warehouse focusing on reducing cost and complexity for your massive-scale analytics needs. Open source alternative to Snowflake. Also available in the cloud: https://app.databend.com- 0.8.1 Cargo.lock
Size: 189 MB - Last synced: 9 months ago - Pushed: 9 months ago
tjausm/Jip
Symbolic execution engine written for the OOX language- 0.7.1 Cargo.lock
Size: 5.33 MB - Last synced: 10 months ago - Pushed: 11 months ago
jashankj/dotfiles-srclocal
$HOME/src/local- 0.7.1 local/puzzler/Cargo.lock
Last synced: about 1 year ago
mpyle101/aoc-rs
Advent of Code in Rust- 0.7.1 2018/Cargo.lock
Size: 1.43 MB - Last synced: 3 months ago - Pushed: 3 months ago
mkeeter/advent-of-code
Advent of Code solutions- 0.5.0 2019/Cargo.lock
- 0.7.1 2022/Cargo.lock
Size: 951 KB - Last synced: 22 days ago - Pushed: 5 months ago
bnjbvr/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift- 0.6.1 Cargo.lock
Size: 57.1 MB - Last synced: 28 days ago - Pushed: about 1 year ago
ApeWorX/etk Fork of quilt/etk
evm toolkit- 0.7.1 Cargo.lock
Size: 39.6 MB - Last synced: 11 days ago - Pushed: 21 days ago
mgreisen/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 20.2 MB - Last synced: 8 months ago - Pushed: 8 months ago
DEVBOX10/microsoft-onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 20.5 MB - Last synced: 24 days ago - Pushed: 6 months ago
henryzz0/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
- 0.6 src/agent/onefuzz-telemetry/Cargo.toml
Size: 12.9 MB - Last synced: 5 days ago - Pushed: 5 days ago
nharper285/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 28.4 MB - Last synced: 25 days ago - Pushed: 6 months ago
rsdmike/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 19.5 MB - Last synced: 9 months ago - Pushed: 9 months ago
spector-in-london/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 13.7 MB - Last synced: about 2 months ago - Pushed: about 1 year ago
brown-qs/fuzzland-ityfuzz Fork of fuzzland/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts- 0.7.1 Cargo.toml
Size: 2.55 MB - Last synced: 5 months ago - Pushed: 5 months ago
sunfishcode/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAsssembly, using Cranelift- 0.6.3 Cargo.lock
Size: 59.9 MB - Last synced: 3 days ago - Pushed: about 2 months ago
tevoinea/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 21.3 MB - Last synced: 25 days ago - Pushed: 7 months ago
AdamL-Microsoft/onefuzz Fork of microsoft/onefuzz
A self-hosted Fuzzing-As-A-Service platform- 0.6.3 src/agent/Cargo.lock
Size: 20.6 MB - Last synced: 23 days ago - Pushed: 5 months ago
CAS-ual-TY/unicorn Fork of cksystemsgroup/unicorn
Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers- 0.7.1 Cargo.lock
Size: 1.86 MB - Last synced: 5 months ago - Pushed: over 1 year ago
tjwilson90/star-battle
- 0.7.1 Cargo.lock
Size: 3.91 KB - Last synced: 9 months ago - Pushed: about 2 years ago
liyuntao/adventofcode2018
solutions of adventofcode 2018, written in rust- 0.4.0 Cargo.lock
Size: 163 KB - Last synced: 9 months ago - Pushed: over 4 years ago
tsheinen/advent-of-code-2020
- 0.6.3 Cargo.lock
Size: 95.7 KB - Last synced: about 1 year ago - Pushed: over 3 years ago
cbl/akari
A solver for Akari Puzzles that uses the z3 SMT solver- 0.7.1 Cargo.lock
Size: 69.3 KB - Last synced: about 1 year ago - Pushed: about 1 year ago
moyix/synthehol
A clone of Nick Fitzgerald's minisynth-rs- 0.6.2 Cargo.lock
Size: 11.7 KB - Last synced: 9 months ago - Pushed: almost 4 years ago
plaflamme/advent-2018
Advent of code 2018 for learning Rust- 0.7.1 Cargo.lock
Size: 247 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago
modulitos/smt_learnings
- 0.6.0 rust_examples/Cargo.lock
Size: 4.88 KB - Last synced: 9 months ago - Pushed: about 4 years ago
felixwilhelm/z3-rs Fork of graydon/z3-rs
- ~0.1.0 Cargo.toml
Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
fuzzland/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts- 0.7.1 Cargo.toml
Size: 3.41 MB - Last synced: 29 days ago - Pushed: about 1 month ago
bzy-debug/ported-crates
- 0.6.3 cranelift-codegen-sgx/Cargo.lock
Size: 3.33 MB - Last synced: about 1 year ago - Pushed: over 2 years ago
I-mikan-I/ssa-compiler
- 0.7.1 Cargo.lock
Size: 500 KB - Last synced: 18 days ago - Pushed: about 2 months ago
bcongdon/optimal_balancer
⚖️ A simple tool for calculating the optimal number of shares to buy to maintain a proportional portfolio- 0.6.3 Cargo.lock
Size: 48.8 KB - Last synced: 8 months ago - Pushed: 9 months ago
madun1999/enumerative_egg
Program verification by bottom-up enumeration with observational equivalence using egg.- 0.7.1 Cargo.lock
Size: 783 KB - Last synced: 9 months ago - Pushed: about 2 years ago
mgree/js2ts
- 0.7.1 Cargo.lock
Size: 154 KB - Last synced: about 1 month ago - Pushed: about 1 year ago
aurelilia/yacuri
Novel kernel/operating system- 0.6.3 Cargo.lock
Size: 191 KB - Last synced: 8 months ago - Pushed: over 2 years ago
ZloeSabo/dependabot-sandbox
For playing with dependabot settings- 0.7.1 local-registry/Cargo.lock
Size: 149 KB - Last synced: about 1 year ago - Pushed: about 1 year ago
anko9801/mini_symbolic
minimal symbolic executor- 0.7.1 Cargo.lock
Size: 9.77 KB - Last synced: 25 days ago - Pushed: about 2 years ago
hayesgm/pudding
The proof is in the...- 0.5.0 Cargo.lock
Size: 6.84 KB - Last synced: 27 days ago - Pushed: almost 4 years ago
msvisser/advent-of-code-2022
Advent of Code 2022- 0.7.1 day21/Cargo.lock
Size: 139 KB - Last synced: 11 months ago - Pushed: over 1 year ago
mar0x/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift- 0.6.3 Cargo.lock
Size: 38.9 MB - Last synced: 10 months ago - Pushed: over 3 years ago
eira-fransham/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAsssembly, using Cranelift- 0.6.2 Cargo.lock
Size: 24.8 MB - Last synced: 10 months ago - Pushed: over 3 years ago
scottschroeder/z3.rs Fork of prove-rs/z3.rs
Rust bindings for the Z3 solver.- 0.3.0 z3/Cargo.toml
Size: 298 KB - Last synced: 10 months ago - Pushed: over 3 years ago
shabnam4b/MIRAI Fork of facebookexperimental/MIRAI
Rust mid-level IR Abstract Interpreter- * checker/Cargo.toml
Size: 205 MB - Last synced: 10 months ago - Pushed: about 1 year ago
wizoo/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift- 0.6.3 Cargo.lock
Size: 49.2 MB - Last synced: 10 months ago - Pushed: over 2 years ago
nmeum/qsym
A symbolic executor for the QBE intermediate language- 0.7.1 Cargo.lock
Size: 107 KB - Last synced: 9 months ago - Pushed: 12 months ago
fuzzypixelz/absolut
Autogenerated Bytewise SIMD-Optimized Look-Up Tables- 0.7.1 Cargo.lock
Size: 71.3 KB - Last synced: 28 days ago - Pushed: 29 days ago
c0ding/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift- 0.6.2 Cargo.lock
Size: 36.5 MB - Last synced: 27 days ago - Pushed: over 3 years ago
volcano0dr/rust-mir-checker Fork of lizhuohua/rust-mir-checker
- 0.6.3 Cargo.lock
Size: 269 KB - Last synced: 10 months ago - Pushed: over 2 years ago
xiangmingzhe0928/databend Fork of datafuselabs/databend
A modern cloud data warehouse focusing on reducing cost and complexity for your massive-scale analytics needs. Open source alternative to Snowflake. Also available in the cloud: https://app.databend.com 🧠- 0.8.1 Cargo.lock
Size: 188 MB - Last synced: 10 months ago - Pushed: 10 months ago
0x0918/ityfuzz Fork of fuzzland/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts- 0.7.1 Cargo.toml
Size: 2.57 MB - Last synced: 19 days ago - Pushed: 4 months ago
yssource/databend Fork of datafuselabs/databend
A modern cloud data warehouse focusing on reducing cost and complexity for your massive-scale analytics needs. Open source alternative to Snowflake. Also available in the cloud: https://app.databend.com 🧠- 0.7.1 Cargo.lock
Size: 184 MB - Last synced: 9 months ago - Pushed: 11 months ago
Zha0Chan/rewasm Fork of benediktwerner/rewasm
Decompiler for WebAssembly binaries- 0.5.0 Cargo.lock
Size: 129 KB - Last synced: 9 months ago - Pushed: almost 3 years ago
Cache-and-Burn/ityfuzz Fork of fuzzland/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts- 0.7.1 Cargo.toml
Size: 1.85 MB - Last synced: 9 months ago - Pushed: 9 months ago
fcmonoid/loki Fork of RUB-SysSec/loki
Hardening code obfuscation against automated attacks- 0.3 loki/obfuscator/z3-rs/Cargo.toml
Size: 28.3 MB - Last synced: 20 days ago - Pushed: over 1 year ago