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☆166Mar 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☆20Mar 8, 2013Updated 13 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 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.
- Solver for higher-order functional programs, used by Stainless☆96Jul 8, 2026Updated 3 weeks ago
- A Logic Framework in Scala☆15Aug 13, 2015Updated 10 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless☆401Jul 14, 2026Updated 2 weeks ago
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- Scala XMPP Bot Framework☆17Mar 20, 2012Updated 14 years ago
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 11 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Aug 31, 2017Updated 8 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 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 Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Tiny Scala library to generate class files for the JVM☆70Sep 6, 2021Updated 4 years ago
- The CafeSat SMT solver for Scala☆50Oct 31, 2021Updated 4 years ago
- ☆56Apr 25, 2025Updated last year
- 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
- Shapelaysson = Shapeless + Play-Json☆23Feb 27, 2013Updated 13 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 8 years ago
- generative programming & verification☆34Jul 18, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆84Jul 1, 2013Updated 13 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- An implementation of Computation Expressions in Scala.☆21Aug 15, 2015Updated 10 years ago
- ☆21Updated this week
- sbt plugin for uploading Scala code coverage to coveralls☆23Feb 23, 2014Updated 12 years ago
- Everything you need to make type classes first class.☆61Mar 6, 2016Updated 10 years ago
- Play JSON Reads/Writes instances for refined types☆25Jul 14, 2026Updated 2 weeks ago
- A concurrent programming library combining monadic and streaming I/O in Scala☆38Jan 25, 2018Updated 8 years ago
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Interactive Scala REPL in a browser☆21May 13, 2013Updated 13 years ago
- ☆15Mar 17, 2016Updated 10 years ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆36Jul 16, 2026Updated last week
- Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6☆46Dec 15, 2017Updated 8 years ago
- Scala EDN parser based on Parboiled2☆38Aug 12, 2015Updated 10 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 8 years ago
- A dimensional analysis library based on dependent types☆195Aug 15, 2024Updated last year