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

scfia/scfia-lib
  • 0.6.3 Cargo.lock

Size: 2.01 MB - Last synced: 10 months ago - Pushed: 10 months 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

samsartor/aoc-2021
  • 0.7.1 Cargo.lock

Last synced: about 1 year ago

jashankj/dotfiles-src
$HOME/src
  • 0.7.1 local/nytsolv/Cargo.lock

Last synced: over 1 year 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

braxtoncuneo/jobshop
  • 0.6.1 Cargo.lock

Last synced: over 1 year 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

samsartor/aoc-2022
  • 0.7.1 Cargo.lock

Last synced: about 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

zsusag/symProb
  • 0.7.1 Cargo.lock

Size: 6.46 MB - Last synced: 6 months ago - Pushed: 6 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