The Princess Theorem Prover
☆36Oct 25, 2026Updated this week
Alternatives and similar repositories for princess
Users that are interested in princess are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An SMT Solver for string constraints☆56Oct 18, 2026Updated last week
- Korn - C Verification with Loop Invariants and Summaries☆12Updated this week
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆23Jun 13, 2023Updated 3 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Aug 28, 2026Updated 2 months ago
- An SMT Solver for strings☆11Jun 22, 2018Updated 8 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.
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆34Sep 9, 2025Updated last year
- TriCera: a model checker for C programs☆28Oct 22, 2026Updated last week
- ☆10Oct 21, 2026Updated last week
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 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
- ☆32Nov 2, 2025Updated 11 months ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Jul 20, 2023Updated 3 years ago
- Platform independent reflection for Scala☆44May 31, 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.
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24May 2, 2017Updated 9 years ago
- The Eldarica model checker☆111Updated this week
- A fork of Yosys that integrates the CellIFT pass☆14Sep 12, 2026Updated last month
- The Z3-Noodler String Solver☆34Updated this week
- ☆11Jul 1, 2025Updated last year
- Fezziwig is a library for compile time generation of Circe encoders/decoders for Scrooge-generated classes representing Thrift objects.☆10Oct 8, 2026Updated 3 weeks ago
- Higher kinded data in Scala☆23Mar 23, 2025Updated last year
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Solver for higher-order functional programs, used by Stainless☆99Oct 23, 2026Updated last 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.
- ☆17Jan 5, 2022Updated 4 years ago
- ☆13Oct 1, 2026Updated 3 weeks ago
- ☆17Updated this week
- ☆15Feb 6, 2021Updated 5 years ago
- URI implementation based on cats-parse with cats instances☆14Mar 30, 2024Updated 2 years ago
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 3 years ago
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 4 years ago
- AE-solver and Skolemizer☆18Jul 12, 2026Updated 3 months ago
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆12Oct 19, 2026Updated last week
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- A Devise-like authentication library for Http4s☆15Aug 7, 2026Updated 2 months ago
- just place for some random notes about programming☆19Feb 16, 2026Updated 8 months ago
- Template to bootstrap Scala Native CLI projects, uploading platform binaries to Github Releases artifacts☆23Apr 27, 2026Updated 6 months ago
- Interactive online editor for the cyclone specification language☆12Updated this week