graydon/z3-rs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

graydon/z3-rs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/graydon/z3-rs)

Close

graydon / z3-rsView on GitHubMore

• External links
• Readme badge

☆24Aug 30, 2018Updated 7 years ago

Alternatives and similar repositories for z3-rs

Users that are interested in z3-rs are comparing it to the libraries listed below

• ziman / idris-bytes

  View on GitHub
  FFI-based byte buffers for Idris
  ☆10Jun 21, 2019Updated 6 years ago
• ruuda / transducers

  View on GitHub
  A transducer library for Rust
  ☆10May 22, 2016Updated 9 years ago
• mirage / ocaml-openflow

  View on GitHub
  ☆12Aug 24, 2014Updated 11 years ago
• heades / System-F-Coq

  View on GitHub
  System F in coq.
  ☆19Jan 27, 2015Updated 11 years ago
• ekmett / foreign-var

  View on GitHub
  Foreign variables, deprecated in favor of `StateVar`
  ☆11May 1, 2019Updated 6 years ago
• rodrigogribeiro / idrisregexp

  View on GitHub
  Regular expression matching in Idris
  ☆11Apr 27, 2016Updated 9 years ago
• sile / ekvsb

  View on GitHub
  Benchmark Tool for Embedded Key-Value Stores available in Rust
  ☆28May 29, 2024Updated last year
• ticki / secbox

  View on GitHub
  SecBox - Sensitive data container
  ☆14Jul 30, 2016Updated 9 years ago
• jakoschiko / dicetest

  View on GitHub
  Framework for writing tests with randomly generated test data
  ☆14Feb 8, 2026Updated 3 weeks ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• kmcallister / pngbox

  View on GitHub
  Demo: OS sandboxing for unsafe code in Rust
  ☆13Mar 10, 2015Updated 10 years ago
• GTkernel / nibble-lsm

  View on GitHub
  Concurrent Log-Structured Memory for Many-Core Key-Value Stores
  ☆36Jul 7, 2020Updated 5 years ago
• SkySkimmer / HoTTClasses

  View on GitHub
  HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)
  ☆17Dec 9, 2020Updated 5 years ago
• spacejam / historian

  View on GitHub
  ☆22Mar 16, 2019Updated 6 years ago
• ergl / crdt-ml

  View on GitHub
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆47Sep 15, 2016Updated 9 years ago
• huonw / order-stat

  View on GitHub
  Compute order statistics
  ☆15Sep 16, 2023Updated 2 years ago
• arienmalec / newtype_macros

  View on GitHub
  ☆16Apr 14, 2016Updated 9 years ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• chrido / fountain

  View on GitHub
  Fountain codes implemented in Rust
  ☆17Aug 11, 2020Updated 5 years ago
• ujamjar / hardcaml-examples

  View on GitHub
  HardCaml example designs
  ☆18Jun 13, 2018Updated 7 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• leejunseok / kademlia-rs

  View on GitHub
  An implementation of the Kademlia DHT
  ☆39Oct 30, 2019Updated 6 years ago
• ziman / idris-ocaml

  View on GitHub
  OCaml back end for Idris
  ☆22Jan 24, 2018Updated 8 years ago
• frehberg / wasm-sign

  View on GitHub
  WebAssembly signing and verification tool
  ☆50Feb 21, 2018Updated 8 years ago
• berlinrs / tbd.rs

  View on GitHub
  Totally Badass Databases in Rust - an experiment
  ☆22Dec 24, 2018Updated 7 years ago
• Xaeroxe / platform

  View on GitHub
  Repo for the Rust `platform` crate.
  ☆22Jan 31, 2019Updated 7 years ago
• GaloisInc / lean-haskell-bindings

  View on GitHub
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆22Aug 25, 2017Updated 8 years ago
• xlq / aos

  View on GitHub
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆47Mar 29, 2012Updated 13 years ago
• spacejam / mesos-rs

  View on GitHub
  Mesos bindings using the v1 HTTP API
  ☆17Jan 28, 2016Updated 10 years ago
• jtoman / claims

  View on GitHub
  A LaTeX package for proof carrying papers
  ☆24Dec 8, 2016Updated 9 years ago
• sweirich / trellys

  View on GitHub
  Automatically exported from code.google.com/p/trellys
  ☆47Jul 12, 2019Updated 6 years ago
• GaloisInc / jvm-parser

  View on GitHub
  A Haskell parser for JVM bytecode files
  ☆39Jan 12, 2024Updated 2 years ago
• kmcallister / launch-code

  View on GitHub
  Cryptographic signatures for auditing unsafe code in Rust
  ☆55Jan 19, 2015Updated 11 years ago
• david-christiansen / IdrisSqlite

  View on GitHub
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41May 1, 2018Updated 7 years ago
• reem / rust-shared-mutex

  View on GitHub
  A reader-writer lock that can be used with a Condvar.
  ☆29Jun 2, 2016Updated 9 years ago
• michaelsproul / rust_sequence_trie

  View on GitHub
  Ergonomic trie data structure
  ☆27Oct 30, 2018Updated 7 years ago
• mydotey / quantile-estimator

  View on GitHub
  some quantile algorithm implementaton for stream data
  ☆12Jul 24, 2018Updated 7 years ago
• sfackler / rstack

  View on GitHub
  ☆35May 22, 2024Updated last year
• pa-ba / calc-comp

  View on GitHub
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆31Dec 11, 2023Updated 2 years ago