Solver for higher-order functional programs, used by Stainless
☆102Nov 12, 2026Updated this week
Alternatives and similar repositories for inox
Users that are interested in inox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless☆415Updated this week
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- The Leon system for verification, synthesis, repair☆168Mar 18, 2024Updated 2 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 9 months ago
- Bolts: Stainless Verified Scala Examples☆31Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LL(1) parser combinators in Scala☆64May 11, 2026Updated 6 months ago
- The CafeSat SMT solver for Scala☆50Sep 7, 2026Updated 2 months ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79May 25, 2022Updated 4 years ago
- Proof assistant based on first-order logic and set theory☆71Updated this week
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- Scala library for parsing and printing the SMT-LIB format☆47Dec 30, 2022Updated 3 years ago
- The Princess Theorem Prover☆37Oct 25, 2026Updated 2 weeks ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆34Oct 3, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A fork of https://gitlab.ow2.org/asm/asm for the Scala compiler☆15Oct 19, 2026Updated 3 weeks ago
- OpenGL and SDL2 bindings for Scala Native☆45Aug 2, 2022Updated 4 years ago
- The Eldarica model checker☆111Updated this week
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 4 years ago
- Scala bindings for Hugging Face Tokenizers☆16May 9, 2023Updated 3 years ago
- Cross-platform compilation support for sbt.☆246Aug 12, 2026Updated 3 months ago
- Scala Native toolchain without the JVM☆34Updated this week
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- Flexible law checking for Scala☆338Oct 28, 2026Updated 2 weeks ago
- A Giter8 template for a basic Dotty application build using ZIO☆17Aug 15, 2024Updated 2 years ago
- Stupid simple Scala 3 library for writing and reading JSON☆12Updated this week
- Scala Center's solution of Advent of Code☆63Dec 20, 2025Updated 10 months ago
- jni bindings to aten from libtorch☆11Apr 20, 2025Updated last year
- Effectful property testing built on ScalaCheck☆83Oct 29, 2026Updated 2 weeks ago
- Dependent Object Types (DOT), bottom up☆90Jan 9, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Nov 2, 2022Updated 4 years ago
- Algebraic Effects for Scala 3☆83Sep 30, 2026Updated last month
- Macro-powered fast XML serialization library for Scala 3.☆15Mar 21, 2026Updated 7 months ago
- prototyping logic programming in Scala☆41Mar 25, 2022Updated 4 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆67Aug 30, 2022Updated 4 years ago
- A set of tools that make working with the Scala ecosystem even better.☆15Updated this week
- Lambda syntax for Scala EDSLs☆27Sep 18, 2023Updated 3 years ago
Are these results useful?