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

ct20000901/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: 205 MB - Last synced: 8 months ago - Pushed: 8 months ago

caelunshun/wasmtime Fork of bytecodealliance/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
  • 0.6.1 Cargo.lock

Size: 32.3 MB - Last synced: 9 months ago - Pushed: about 4 years ago

shubham19may/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: 182 MB - Last synced: 9 months ago - Pushed: 11 months ago

zsusag/z3.rs Fork of prove-rs/z3.rs
Rust bindings for the Z3 solver.
  • 0.7.1 z3/Cargo.toml

Size: 582 KB - Last synced: 9 months ago - Pushed: about 1 year ago

aikubo/etk Fork of quilt/etk
evm toolkit
  • 0.6.3 Cargo.lock

Size: 1.38 MB - Last synced: 9 months ago - Pushed: about 3 years ago

shouc/ityfuzz-fv Fork of fuzzland/ityfuzz
Blazingly Fast Hybrid Fuzzer for Smart Contracts
  • 0.7.1 Cargo.toml

Size: 602 KB - Last synced: 9 months ago - Pushed: about 1 year ago

QunaSys/z3.rs Fork of prove-rs/z3.rs
Rust bindings for the Z3 solver.
  • 0.8 z3/Cargo.toml

Size: 607 KB - Last synced: about 1 month ago - Pushed: about 2 months ago

mancanfly-1/c2rust Fork of immunant/c2rust
Migrate C code to Rust
  • 0.5.0 Cargo.lock

Size: 72.4 MB - Last synced: 9 months ago - Pushed: over 3 years ago

daoyuan14/ityfuzz Fork of fuzzland/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
  • 0.7.1 Cargo.toml

Size: 2.77 MB - Last synced: 6 months ago - Pushed: 6 months ago

isgasho/Rust-SMT-LIB-API Fork of 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.4.0 Cargo.lock

Size: 14.6 KB - Last synced: 9 months ago - Pushed: about 5 years ago

isgasho/yil Fork of yicuiheng/yil
  • 0.7.1 Cargo.lock

Size: 153 KB - Last synced: 9 months ago - Pushed: over 2 years ago

thanhtoantnt/ityfuzz Fork of fuzzland/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
  • 0.7.1 Cargo.toml

Size: 2.01 MB - Last synced: 8 months ago - Pushed: 8 months ago

wtdcode/z3.rs Fork of prove-rs/z3.rs
Rust bindings for the Z3 solver.
  • 0.8 z3/Cargo.toml

Size: 589 KB - Last synced: 9 months ago - Pushed: 9 months ago

Artisan-Lab/rCanary
Rust Leakage Checker (rCanary) repo
  • 0.7.1 Cargo.lock

Size: 3.04 MB - Last synced: 6 months ago - Pushed: 9 months ago

pventuzelo/rewasm Fork of benediktwerner/rewasm
Decompiler forWebAssembly binaries
  • 0.5.0 Cargo.lock

Size: 115 KB - Last synced: 9 months ago - Pushed: over 4 years ago

maijun-sec/MIRAI Fork of facebookexperimental/MIRAI
Rust mid-level IR Abstract Interpreter
  • 0.7.1 Cargo.lock
  • * checker/Cargo.toml

Size: 130 MB - Last synced: about 1 month ago - Pushed: over 2 years ago

niiyama-kota/z3.rs Fork of QunaSys/z3.rs
Rust bindings for the Z3 solver.
  • 0.8 z3/Cargo.toml

Size: 609 KB - Last synced: 7 months ago - Pushed: 7 months ago

kenr/c2rust Fork of immunant/c2rust
Migrate C code to Rust
  • 0.5.0 Cargo.lock

Size: 72.4 MB - Last synced: 8 months ago - Pushed: about 3 years ago

moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
  • 0.5.0 Cargo.lock
  • ^0 Cargo.toml

Size: 7.94 MB - Last synced: 4 days ago - Pushed: 4 days ago

hirajanwin/blueboat Fork of losfair/blueboat
All-in-one, multi-tenant serverless JavaScript runtime.
  • 0.7.1 Cargo.lock

Size: 1.17 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago

JackTan25/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: 230 MB - Last synced: about 2 months ago - Pushed: about 2 months ago

getong/databend Fork of datafuselabs/databend
A Modern Real-Time Data Processing & Analytics DBMS with Cloud-Native Architecture, written in Rust
  • 0.8.1 Cargo.lock

Size: 228 MB - Last synced: about 1 month ago - Pushed: 2 months ago

0xAWM/ityfuzz Fork of fuzzland/ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
  • 0.7.1 Cargo.toml

Size: 1.93 MB - Last synced: 8 months ago - Pushed: 8 months ago

yutiansut/datafuse Fork of datafuselabs/databend
A Modern Real-Time Data Processing & Analytics DBMS with Cloud-Native Architecture, built to make the Data Cloud easy
  • 0.8.1 Cargo.lock

Size: 225 MB - Last synced: 3 months ago - Pushed: 4 months ago

00mjk/blueboat Fork of losfair/blueboat
All-in-one, multi-tenant serverless JavaScript runtime.
  • 0.7.1 Cargo.lock

Size: 1.31 MB - Last synced: 6 days ago - Pushed: over 1 year ago

SkyFan2002/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: 239 MB - Last synced: 4 days ago - Pushed: 4 days ago

ChenhuaYang/rust-mir-checker Fork of lizhuohua/rust-mir-checker
  • 0.6.3 Cargo.lock

Size: 269 KB - Last synced: about 1 month ago - Pushed: over 2 years ago

ChenhuaYang/arbitrar Fork of petablox/arbitrar
User Guided API Misuse Detection
  • 0.6.3 src/analyzer/Cargo.lock

Size: 76.1 MB - Last synced: about 1 month ago - Pushed: about 3 years ago

JohnCarterGonzalez/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: 211 MB - Last synced: 7 months ago - Pushed: 7 months ago

akoshchiy/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: 227 MB - Last synced: 3 months ago - Pushed: 3 months ago

Pat-Lafon/z3.rs Fork of prove-rs/z3.rs
Rust bindings for the Z3 solver.
  • 0.8 z3/Cargo.toml

Size: 735 KB - Last synced: about 1 month ago - Pushed: 5 months ago

ngsankha/absynthe-rust
  • 0.6.3 Cargo.lock

Size: 81.1 KB - Last synced: about 1 month ago - Pushed: over 2 years ago

TinyTinni/student_assignment
Solver to assign n-students to m-timeslots with capacity c in respect of the timeslot-wishlist of each student
  • 0.7.1 Cargo.lock

Size: 39.1 KB - Last synced: 4 months ago - Pushed: 4 months ago

harryborison920613/ityfuzz_blockchain
  • 0.8.1 Cargo.toml

Size: 2.86 MB - Last synced: 6 months ago - Pushed: 6 months ago

ViddeM/advent-of-code-2023
My repository for the 2023 run of advent-of-code
  • 0.8.1 day24/Cargo.lock

Size: 259 KB - Last synced: 5 months ago - Pushed: 5 months ago

satlank/aoc
Advent of Code solutions
  • 0.8.1 rust/2023/d24/Cargo.lock

Size: 1020 KB - Last synced: 2 months ago - Pushed: 5 months ago

jaehyun1ee/nqueens-solver
Solution for N-Queens problem using Z3 SAT solver.
  • 0.8.1 Cargo.lock

Size: 7.81 KB - Last synced: 5 months ago - Pushed: 5 months ago

Jerry-Master/AOC-2023-rust 📦
This year AOC in Rust.
  • 0.8.1 day24/Cargo.lock

Size: 22 MB - Last synced: about 1 month ago - Pushed: 5 months ago

ziegfried/advent-of-code
My solutions to Advent of Code problems
  • 0.8.1 2023/day24/Cargo.lock

Size: 833 KB - Last synced: 5 months ago - Pushed: 5 months ago

lakimancic/advent-of-code-2023
Advent of Code 2023 - Rust
  • 0.8.1 Cargo.lock

Size: 196 KB - Last synced: 5 months ago - Pushed: 5 months ago

HugoPeters1024/adventofcode2022
  • 0.7.1 2022/day21/Cargo.lock

Size: 506 KB - Last synced: 5 months ago - Pushed: 5 months ago

zydeco/advent-of-code
my Advent of Code solutions
  • 0.7.1 2022/d21/Cargo.lock

Size: 472 KB - Last synced: about 1 month ago - Pushed: 5 months ago

camas/advent-of-code
solutions to puzzles from https://adventofcode.com/
  • 0.8.1 Cargo.lock

Size: 969 KB - Last synced: 5 months ago - Pushed: 5 months ago

KevinDuringWork/AdventRust2023
  • 0.8.1 day2/Cargo.lock

Size: 5.86 KB - Last synced: 6 months ago - Pushed: 6 months ago

rao107/sudoku-z3
  • 0.8.1 Cargo.lock

Size: 16.6 KB - Last synced: 6 months ago - Pushed: 6 months ago

ppergame/advent_of_code
  • 0.7.1 aoc2017/Cargo.lock
  • 0.7.1 aoc2018/Cargo.lock
  • 0.7.1 aoc2019/Cargo.lock
  • 0.7.1 aoc2020/Cargo.lock
  • 0.7.1 aoc2022/Cargo.lock

Size: 502 KB - Last synced: about 1 month ago - Pushed: 5 months ago

aditink/algebraic_simplification_cesar
Egg Heuristics for algebraic simplification used by the CESAR tool.
  • 0.8 Cargo.toml

Size: 27.3 KB - Last synced: 28 days ago - Pushed: 5 months ago

SvetlinZarev/advent-of-code
  • 0.8.1 2023/aoc-day-24/Cargo.lock

Size: 1.68 MB - Last synced: 5 months ago - Pushed: 5 months ago

kelleyvanevert/adventofcode2023
  • 0.7.1 day24/rust/Cargo.lock

Size: 1.97 MB - Last synced: 5 months ago - Pushed: 5 months ago

ghostdsb/advent-of-code
https://adventofcode.com/
  • 0.8.1 aoc2023/day-24/Cargo.lock

Size: 42.9 MB - Last synced: 5 months ago - Pushed: 5 months ago

michel-kraemer/adventofcode-2023-rust
My solution to the Advent of Code 2023 (in Rust)
  • 0.8.1 day24/Cargo.lock

Size: 222 KB - Last synced: 25 days ago - Pushed: 3 months ago

Paulo-21/adventofcode
  • 0.8.1 2023/day24/Cargo.lock

Size: 240 KB - Last synced: 5 months ago - Pushed: 5 months ago

mycroft/challenges
Solutions to several coding challenges
  • 0.8.1 advent-of-code/2023/day24/Cargo.lock

Size: 1.92 MB - Last synced: about 1 month ago - Pushed: 5 months ago

sourcedennis/aws-lambda-z3
A tutorial on running Z3 on AWS Lambda, with Rust
  • 0.7.1 Cargo.lock

Size: 13.7 KB - Last synced: 3 days ago - Pushed: about 2 years ago

Ameobea/rnn-viz
Interactive visualizations and demos that are used in a blog post I wrote about logic in the context of neural networks
  • 0.7.1 solver/Cargo.lock

Size: 1.82 MB - Last synced: about 1 month ago - Pushed: 10 months ago

sheagcraig/advent_of_code_2023
My solutions for the Advent of Code 2023
  • 0.8.1 Cargo.lock

Size: 47.9 KB - Last synced: 4 months ago - Pushed: 4 months ago

DataWraith/aoc.rs
Rust solutions to Advent of Code
  • 0.8.1 2023/Cargo.lock

Size: 424 KB - Last synced: 4 months ago - Pushed: 4 months ago

kajaaz/z3-tester
Test the capabilities of the Z3 SMT solver implemented in Rust.
  • 0.6.3 Cargo.lock

Size: 4.52 MB - Last synced: 4 months ago - Pushed: 4 months ago

TheOrtemon/AdventOfCode2023
  • 0.8.1 day_24/Cargo.lock

Size: 207 KB - Last synced: 4 months ago - Pushed: 4 months ago

TristanAlbers/dse-oox
  • 0.7.1 Cargo.lock

Size: 6.91 MB - Last synced: 5 days ago - Pushed: 5 days ago

rafascar/advent-of-code
https://adventofcode.com/
  • 0.8.1 2023/rust/day-24/Cargo.lock

Size: 274 KB - Last synced: 3 months ago - Pushed: 3 months ago

Pat-Lafon/Arwen-Egg
  • 0.8.1 Cargo.lock
  • 0.8.1 components_n_specs/Cargo.lock

Size: 1.06 MB - Last synced: about 1 month ago - Pushed: 3 months ago

OMRF/clockwork
  • 0.8.1 src-tauri/Cargo.lock

Size: 1.67 MB - Last synced: 29 days ago - Pushed: 3 months ago

kayagokalp/fluido
An equality-saturation based micro-fluidic mixing framework
  • 0.8.1 Cargo.lock

Size: 87.9 KB - Last synced: 3 days ago - Pushed: 3 days ago

stellarchain/soroban-auditor
Soroban smart contracts decompiler
  • 0.5.0 Cargo.lock

Size: 493 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

richardc/aoc-2023
Advent of Code 2023
  • 0.8.1 Cargo.lock

Size: 240 KB - Last synced: 2 months ago - Pushed: 2 months ago

BlockCat/rust-sudoku-solver
A simple sudoku solver made in rust,
  • 0.4.0 Cargo.lock

Size: 8.79 KB - Last synced: about 1 year ago - Pushed: about 5 years ago

DJankauskas/subway_sim
  • 0.8.1 src-tauri/Cargo.lock

Size: 718 KB - Last synced: about 1 month ago - Pushed: about 1 month ago

fotonick/mainarizumu_solver
A solver for Mainarizumu puzzles written in Rust
  • 0.1.0 Cargo.lock

Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago

gzanitti/etkpp
A fork of the well known ETK (https://github.com/quilt/etk) with new features, tweaks and modifications
  • 0.7.1 Cargo.lock

Size: 39.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

ldeloss002/civl-x
  • 0.8.1 Cargo.lock

Size: 632 KB - Last synced: 28 days ago - Pushed: 3 months ago

OOPSLA24-Verilock/verilock
A verification tool that can detect deadlocks in asynchronous circuits specified in SystemVerilog.
  • 0.8.1 Cargo.lock

Size: 6.93 MB - Last synced: 16 days ago - Pushed: 16 days ago

hpmv/ioi-logic-solver
Islands of Insight Logic Grid Solver
  • 0.8.1 Cargo.lock

Size: 10.7 KB - Last synced: about 1 month ago - Pushed: about 1 month ago

graydon/z3-rs
  • ~0.1.0 Cargo.toml

Size: 17.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago

seemoo-lab/VirtFuzz
VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.
  • 0.8.1 Cargo.lock

Size: 22.2 MB - Last synced: 9 days ago - Pushed: 9 days ago

toolCHAINZ/jingle
SMT Modeling for Ghidra's PCODE
  • 0.8.1 Cargo.lock

Size: 68.4 KB - Last synced: 4 days ago - Pushed: 4 days ago