A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...
☆19Nov 3, 2026Updated this week
Alternatives and similar repositories for fm-playground
Users that are interested in fm-playground are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated 2 weeks ago
- Materials for the "Principles of Static Program Analysis" course☆13Jul 17, 2025Updated last year
- ☆17Jul 12, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Easy bindings between Lean and Python.☆37Updated this week
- ☆13Oct 25, 2026Updated last week
- benchmarks for hls equivalence checking☆11Nov 22, 2022Updated 3 years ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- ☆12Oct 29, 2026Updated last week
- 🧩 Starter template for ASIC hardware IP blocks with Vyges metadata, OpenLane integration, and comprehensive documentation☆13Apr 30, 2026Updated 6 months ago
- ☆14Aug 17, 2026Updated 2 months ago
- Accelerator for MatmulFree LLM algorithm☆14Updated this week
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆17Aug 17, 2023Updated 3 years 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.
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- Translate Chisel hardware design code to Scala simulation code.☆15May 15, 2025Updated last year
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated 2 months ago
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated last year
- Sverigeföraren 2014☆16Jul 18, 2026Updated 3 months ago
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated last month
- Verified Verilog Equivalence checker, written and verified in Coq.☆14Oct 20, 2026Updated 2 weeks ago
- Experiment egg for taichi☆11Dec 29, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A parser for ANSI C, in Lean4.☆25Nov 16, 2023Updated 2 years ago
- Bindings to libclingo for the lean4 prover and programming language!☆22Nov 27, 2024Updated last year
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- An academic theme inspired by Hugo-Academic☆17Mar 23, 2024Updated 2 years ago
- ☆17Jul 1, 2025Updated last year
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 11 months ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- An open-source Simulation Trace Format specification☆18Jun 4, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆27Sep 16, 2022Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- An easy to configure, modular build tool running on esbuild with a powerful plugin api.☆12Dec 6, 2021Updated 4 years ago
- ☆32Nov 2, 2025Updated last year
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Jul 8, 2026Updated 3 months ago