dwrensha/seer 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

dwrensha/seer

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/dwrensha/seer)

Close

dwrensha / seerView on GitHubMore

• External links
• Readme badge

symbolic execution engine for Rust

☆359Jul 17, 2018Updated 7 years ago

Alternatives and similar repositories for seer

Users that are interested in seer are comparing it to the libraries listed below

• edef1c / libfringe

  View on GitHub
  a Rust library implementing safe, lightweight context switches, without relying on kernel services
  ☆538Aug 25, 2021Updated 4 years ago
• falconre / falcon

  View on GitHub
  Binary Analysis Framework in Rust
  ☆582Jan 22, 2024Updated 2 years ago
• PLSysSec / haybale

  View on GitHub
  Symbolic execution of LLVM IR with an engine written in Rust
  ☆580Oct 27, 2023Updated 2 years ago
• japaric / steed

  View on GitHub
  [INACTIVE] Rust's standard library, free of C dependencies, for Linux systems
  ☆521Dec 9, 2018Updated 7 years ago
• google / rerast

  View on GitHub
  A tool for transforming Rust code using rules
  ☆715Jun 4, 2023Updated 2 years ago
• bytecodealliance / cranelift

  View on GitHub
  Cranelift code generator
  ☆2,505Jun 26, 2020Updated 5 years ago
• ranweiler / liar

  View on GitHub
  Flexible, stand-alone benchmarking
  ☆18Apr 4, 2018Updated 7 years ago
• ezrosent / allocators-rs

  View on GitHub
  Allocators in Rust
  ☆317Apr 4, 2020Updated 5 years ago
• servo / gaol

  View on GitHub
  Cross-platform application sandboxing for Rust
  ☆376Dec 3, 2024Updated last year
• llogiq / overflower

  View on GitHub
  A Rust compiler plugin and support library to annotate overflow behavior
  ☆106May 29, 2023Updated 2 years ago
• Shnatsel / libdiffuzz

  View on GitHub
  Custom memory allocator that helps discover reads from uninitialized memory
  ☆163Sep 11, 2020Updated 5 years ago
• rust-dev-tools / cargo-src

  View on GitHub
  Semantic code navigation for Rust
  ☆421Jan 14, 2023Updated 3 years ago
• rust-fuzz / afl.rs

  View on GitHub
  🐇 Fuzzing Rust code with American Fuzzy Lop
  ☆1,809Feb 23, 2026Updated last week
• Rust-Proof / rustproof

  View on GitHub
  rust verification condition generator
  ☆96Aug 31, 2016Updated 9 years ago
• jix / varisat

  View on GitHub
  SAT solver written in Rust
  ☆275Nov 2, 2022Updated 3 years ago
• fitzgen / state_machine_future

  View on GitHub
  Easily create type-safe `Future`s from state machines — without the boilerplate.
  ☆332Jul 11, 2019Updated 6 years ago
• nbp / holyjit

  View on GitHub
  Generic purpose Just-In-time compiler for Rust.
  ☆1,550May 12, 2019Updated 6 years ago
• jonhoo / hurdles

  View on GitHub
  Rust library providing a counter-based thread barrier
  ☆58Dec 4, 2018Updated 7 years ago
• CensoredUsername / dynasm-rs

  View on GitHub
  A dynasm-like tool for rust.
  ☆820Feb 12, 2026Updated 3 weeks ago
• rust-fuzz / cargo-fuzz

  View on GitHub
  Command line helpers for fuzzing
  ☆1,762Feb 10, 2026Updated 3 weeks ago
• jameysharp / corrode

  View on GitHub
  C to Rust translator
  ☆2,182Mar 10, 2019Updated 6 years ago
• aep / elfkit

  View on GitHub
  rust elf parsing, manipulation and (re)linking toolkit
  ☆206Jun 22, 2020Updated 5 years ago
• llogiq / mutagen

  View on GitHub
  Breaking your Rust code for fun and profit
  ☆639May 29, 2023Updated 2 years ago
• alexcrichton / futures-await

  View on GitHub
  ☆738Mar 2, 2020Updated 6 years ago
• facebookexperimental / MIRAI

  View on GitHub
  Rust mid-level IR Abstract Interpreter
  ☆1,009Aug 22, 2024Updated last year
• llogiq / metacollect

  View on GitHub
  A lint to collect some crate metadata
  ☆116Jun 2, 2016Updated 9 years ago
• Kha / electrolysis

  View on GitHub
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆340Mar 6, 2017Updated 8 years ago
• mtak- / swym

  View on GitHub
  Efficient transactional memory in rust.
  ☆209Aug 2, 2021Updated 4 years ago
• AdamNiederer / faster

  View on GitHub
  SIMD for humans
  ☆1,600Aug 29, 2023Updated 2 years ago
• thepowersgang / mrustc

  View on GitHub
  Alternative rust compiler (re-implementation)
  ☆2,442Updated this week
• rustasync / runtime

  View on GitHub
  Empowering everyone to build asynchronous software
  ☆854Oct 29, 2019Updated 6 years ago
• BurntSushi / quickcheck

  View on GitHub
  Automated property based testing for Rust (with shrinking).
  ☆2,711Feb 10, 2026Updated 3 weeks ago
• project-oak / rust-verification-tools

  View on GitHub
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆279Feb 12, 2022Updated 4 years ago
• rust-lang-deprecated / failure

  View on GitHub
  Error management
  ☆1,417May 2, 2020Updated 5 years ago
• dwrensha / gjio

  View on GitHub
  asynchronous I/O in Rust
  ☆14Jan 8, 2017Updated 9 years ago
• rust-lang / datafrog

  View on GitHub
  A lightweight Datalog engine in Rust
  ☆861Dec 14, 2025Updated 2 months ago
• dhardy / pippin

  View on GitHub
  a distributed-merge capable database for many small objects
  ☆76Jan 30, 2020Updated 6 years ago
• llogiq / flame

  View on GitHub
  An intrusive flamegraph profiling tool for rust.
  ☆730Feb 25, 2024Updated 2 years ago
• redox-os / ralloc

  View on GitHub
  Mirror of https://gitlab.redox-os.org/redox-os/ralloc
  ☆324Dec 14, 2020Updated 5 years ago