DSL in Scala for Constraint Solving with Z3 SMT Solver
☆127Jun 1, 2023Updated 3 years ago
Alternatives and similar repositories for ScalaZ3
Users that are interested in ScalaZ3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Leon system for verification, synthesis, repair☆168Mar 18, 2024Updated 2 years ago
- Scala library for parsing and printing the SMT-LIB format☆47Dec 30, 2022Updated 3 years ago
- Interprocedural Static Analysis Engine for Scala☆19Mar 8, 2013Updated 13 years ago
- Solver for higher-order functional programs, used by Stainless☆102Updated this week
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- A Logic Framework in Scala☆15Aug 13, 2015Updated 11 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 12 years ago
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless☆415Updated this week
- The CafeSat SMT solver for Scala☆50Sep 7, 2026Updated 2 months ago
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- Scala XMPP Bot Framework☆17Mar 20, 2012Updated 14 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 9 years ago
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 12 years ago
- Tiny Scala library to generate class files for the JVM☆71Sep 6, 2021Updated 5 years ago
- facade for using WALA from Scala☆14Mar 29, 2017Updated 9 years ago
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 10 years ago
- (No longer actively maintained.)☆157Dec 8, 2025Updated 11 months ago
- Scala compiler plugin which provides syntax for working with locally declared implicit values☆53Apr 18, 2015Updated 11 years ago
- configuration with less hassle☆69May 7, 2019Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Scalaz 7 type class instances for various Scala and Java libraries.☆10Sep 17, 2012Updated 14 years ago
- Introduction to Iteratees (in Scala)☆11Dec 26, 2013Updated 12 years ago
- Shapelaysson = Shapeless + Play-Json☆22Feb 27, 2013Updated 13 years ago
- monads can compose when distributive law exists.☆10Sep 17, 2012Updated 14 years ago
- Bolts: Stainless Verified Scala Examples☆31Updated this week
- Integration between jawn and fs2☆40Oct 29, 2026Updated 2 weeks ago
- ☆21Updated this week
- ☆56Apr 25, 2025Updated last year
- An implementation of Computation Expressions in Scala.☆21Aug 15, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013☆11Sep 20, 2013Updated 13 years ago
- ☆84Jul 1, 2013Updated 13 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism☆263May 25, 2025Updated last year
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 4 years ago
- sbt plugin for uploading Scala code coverage to coveralls☆23Feb 23, 2014Updated 12 years ago
Are these results useful?