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☆167Mar 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
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 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.
- Solver for higher-order functional programs, used by Stainless☆99Sep 7, 2026Updated last month
- A Logic Framework in Scala☆15Aug 13, 2015Updated 11 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 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☆406Updated this week
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- Scala XMPP Bot Framework☆17Mar 20, 2012Updated 14 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 9 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.
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 12 years ago
- Integration between jawn and fs2☆40Oct 7, 2026Updated last week
- Tiny Scala library to generate class files for the JVM☆71Sep 6, 2021Updated 5 years ago
- The CafeSat SMT solver for Scala☆50Sep 7, 2026Updated last month
- (No longer actively maintained.)☆158Dec 8, 2025Updated 10 months ago
- ☆56Apr 25, 2025Updated last year
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years 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
- 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.
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 8 years ago
- generative programming & verification☆34Jul 18, 2026Updated 3 months ago
- Shapelaysson = Shapeless + Play-Json☆23Feb 27, 2013Updated 13 years ago
- tagless final macro☆18Sep 14, 2015Updated 11 years ago
- An implementation of Computation Expressions in Scala.☆21Aug 15, 2015Updated 11 years ago
- 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
- ☆21Updated this week
- Play JSON Reads/Writes instances for refined types☆25Aug 31, 2026Updated last month
- 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.
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 3 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 10 years ago
- sbt plugin for uploading Scala code coverage to coveralls☆23Feb 23, 2014Updated 12 years ago
- ☆15Mar 17, 2016Updated 10 years ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆37Oct 11, 2026Updated last week
- Interactive Scala REPL in a browser☆21May 13, 2013Updated 13 years ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated 2 years ago