An SMT solver for program verification
☆20Oct 26, 2026Updated this week
Alternatives and similar repositories for Sundance-SMT
Users that are interested in Sundance-SMT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆24Feb 2, 2026Updated 8 months ago
- ☆22Jan 31, 2026Updated 8 months ago
- ☆44Jun 28, 2025Updated last year
- ☆13Oct 22, 2026Updated last week
- SMTscope automatically analyses and visualises SMT solver execution traces.☆87Dec 10, 2025Updated 10 months 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.
- ☆24Oct 6, 2026Updated 3 weeks ago
- Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.☆34Apr 11, 2026Updated 6 months ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Updated this week
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- CHIP-8 interpreter written in Rust☆11May 23, 2020Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- ☆29Sep 26, 2026Updated last month
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- Vermilion: Verus meets Lean☆62Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Python bindings for yices2☆13Dec 18, 2024Updated last year
- ☆12Oct 7, 2026Updated 3 weeks ago
- ☆11Mar 31, 2023Updated 3 years ago
- SRI LibPoly is a C library for manipulating polynomials☆65Oct 22, 2026Updated last week
- Compositional Verification of Security Protocols☆37Updated this week
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆35May 14, 2025Updated last year
- Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"☆12May 9, 2021Updated 5 years ago
- A new take on facet-reflect☆14Oct 16, 2026Updated last week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆71Mar 26, 2026Updated 7 months ago
- 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.
- DARPA CASE program☆16Jun 10, 2025Updated last year
- Haskell game where multiple players attempt to blend in with computer controlled characters while being first to visit the key locations …☆15Jan 10, 2020Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆35Aug 30, 2022Updated 4 years ago
- Tool for testing programs with C/C++11 Atomics☆11Dec 9, 2024Updated last year
- ☆11Nov 27, 2024Updated last year
- ☆241Updated this week
- Property-based Testing for Mobile GUI Apps☆75Jul 12, 2026Updated 3 months ago
- ☆19Updated this week
- Verified implementations for the Noise family of protocols☆17Jun 18, 2024Updated 2 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.
- C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)☆10May 31, 2026Updated 4 months ago
- Conjure home-grown, auto-expanding context from Logseq into agent conversations.☆17Jul 17, 2026Updated 3 months ago
- The DRAT-trim proof checker☆72Nov 25, 2024Updated last year
- Key Transparency Auditor for Signal☆19Oct 21, 2026Updated last week
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆45Updated this week
- The fuzzy searching terminal based Emoji finder you've always needed.☆18May 24, 2022Updated 4 years ago
- Haskell solutions for https://adventofcode.com/2021/☆14Dec 25, 2021Updated 4 years ago