seer

symbolic execution engine for Rust

OTHER License

Downloads
3.2K
Stars
336
Committers
3
View Code on GitHub View on X
Ecosystems: Rust

Commit Statistics

Past Year

All Time

Total Commits
0
382
Total Committers
0
4
Avg. Commits Per Committer
0.0
95.5
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
7
Merged Pull Requests
0
7
Total Issues
0
8
Time to Close Issues
N/A
7 days
Package Rankings
Top 23.95% on Crates.io
Badges
Extracted from project README
crates.io
Related Projects
odetoj

Rewrite of Arthur Whitney's one-page J interpreter in Rust

23 Mar 2020 62
expander

Provide expansion of proc-macros, in a way that rustc directs you directly to the issues at hand

28 Jan 2022 22
Cordy

Dynamically Typed Scripting Language

17 Dec 2022 3
rust-schemer

A pedantic implementation of the R7RS Scheme programming language in Rust

30 Jul 2021 6
forge

A lightweight, elegant scripting language with built-in Rust-FFI.

22 Feb 2019 161
rust-base64-compat

base64 crate for Rust that supports rustc v0.19.0 and newer

12 Sep 2019 1
parze

A clean, efficient parser combinator

25 Nov 2019 123
sigil

a lisp oxide

27 Mar 2021 4
testing-rust

Examples of how to use a range of testing features with the Rust programming language

12 Sep 2019 24
evalexpr

A powerful expression evaluation crate 🦀.

19 Mar 2019 318
num_parser

A Rust math interpreter and evaluator

15 Jun 2022 3
seax

A VM-based runtime environment for functional programming languages

18 Jan 2015 45
RustyLR

GLR, LR(1) LALR(1) parser generator for Rust with custom reduce action

13 Jul 2024 9
rust-test-assembler

A Rust crate containing a set of types for building complex binary streams.

12 Oct 2015 10
libdiffuzz

Custom memory allocator that helps discover reads from uninitialized memory

22 Aug 2018 163