☆21Jun 25, 2026Updated 3 weeks ago
Alternatives and similar repositories for specr
Users that are interested in specr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Rust library providing basic aliasable (non `core::Unique`) types☆16Feb 3, 2022Updated 4 years ago
- Tiny little crate to determine how large an unnameable type is.☆12Mar 29, 2025Updated last year
- Debug RefCell which keeps track of stack traces in debug mode☆24Jul 13, 2023Updated 3 years ago
- mdbook on common pitfalls in unsafe rust code☆11May 24, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tutorial on modeling with TLA+☆24May 5, 2026Updated 2 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- ☆75Feb 27, 2024Updated 2 years ago
- The CompCert formally-verified C compiler☆11Jul 16, 2026Updated last week
- ☆16Mar 17, 2026Updated 4 months ago
- Verify naive = datafrog-opt, in rust/polonius☆16Jun 26, 2025Updated last year
- find crashes in the rust compiler & related tooling☆85Apr 15, 2024Updated 2 years ago
- An alternative to `qcell` and `ghost-cell` that instead uses const generics☆13Feb 7, 2023Updated 3 years ago
- Refinement type checking and inference tool for Rust☆24Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A collaborative bibliography of papers related to property-based testing☆27Updated this week
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆23Mar 29, 2026Updated 3 months ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 10 months ago
- A curated list of awesome Rust checkers☆68Jun 13, 2026Updated last month
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 6 months ago
- ☆19Dec 10, 2024Updated last year
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 3 years ago
- Semantic Type Soundness in Lean 4☆18Jul 3, 2026Updated 3 weeks ago
- ☆27Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Analyze Rust crates without touching compiler internals☆386Updated this week
- Macros for using smol-rs☆18Mar 2, 2026Updated 4 months ago
- Portable WebAssembly Dynamic Analysis with Support for Intercession☆17Apr 9, 2026Updated 3 months ago
- Pretty printer for non-overlapping code spans☆15Mar 26, 2026Updated 3 months ago
- CN separation logic refinement type system for C☆57Jul 17, 2026Updated last week
- Benchmark Rust f64-to-string conversion libraries☆27Jul 12, 2026Updated last week
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 11 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- ☆22Feb 10, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- The IMP Language Interpreter☆15Jun 11, 2026Updated last month
- Lightweight exceptions for Rust☆102Jul 5, 2026Updated 2 weeks ago
- UB-aware interpreter for LLVM debugging☆50May 21, 2026Updated 2 months ago
- Structured data serialization library☆24Jun 16, 2024Updated 2 years ago
- Construct complex structures within single call + simple compile-time meta-inheritance model with mixins.☆13Dec 12, 2023Updated 2 years ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A memory allocator verified with Verus☆35Jun 17, 2026Updated last month