Bolts: Stainless Verified Scala Examples
☆30Nov 3, 2026Updated this week
Alternatives and similar repositories for bolts
Users that are interested in bolts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Éclair - Parsing with derivatives and zippers☆11Apr 8, 2020Updated 6 years ago
- Proof assistant based on first-order logic and set theory☆71Oct 22, 2026Updated 2 weeks ago
- Solver for higher-order functional programs, used by Stainless☆100Updated this week
- Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless☆414Updated this week
- Let the compiler check your Physical Units for you!☆10Sep 13, 2024Updated 2 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.
- newtype and refinement (refined) type for Scala 3☆15Updated this week
- BigInteger for scala with very fast modPow☆10Jun 14, 2026Updated 4 months ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆12Oct 27, 2026Updated last week
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 9 months ago
- Interactive Theorem Proving based on Inox☆10Feb 22, 2019Updated 7 years ago
- ☆17Updated this week
- Staging area for new benchmarking infrastructure for Scala Native.☆16Nov 1, 2023Updated 3 years ago
- Verified message-passing programs in Dotty☆49Apr 20, 2021Updated 5 years ago
- Choreographic programming in Scala☆10May 19, 2026Updated 5 months 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.
- Neural-Network Guided Expression Transformation☆13Apr 15, 2018Updated 8 years ago
- Type-level lambda calculus in Scala 3☆13Oct 11, 2022Updated 4 years ago
- LL(1) parser combinators in Scala☆64May 11, 2026Updated 5 months ago
- Compile-time expression evaluation for Scala 2☆16Jun 15, 2026Updated 4 months ago
- The CafeSat SMT solver for Scala☆50Sep 7, 2026Updated last month
- Macro-powered fast XML serialization library for Scala 3.☆15Mar 21, 2026Updated 7 months ago
- Command Line Interface for Scala Native☆19May 22, 2026Updated 5 months ago
- A cross compiled Scala.js port of JAMA for JVM, JavaScript, and Scala Native projects.☆10Aug 22, 2023Updated 3 years ago
- Implementation of java.time for Scala.js and Scala Native☆18Sep 12, 2026Updated last month
- 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.
- Shape-safe TensorFlow in Dotty☆48Jan 6, 2023Updated 3 years ago
- Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS☆39Oct 30, 2026Updated last week
- An implementation of ScalaLab for Scala 3 (Dotty)☆17Dec 19, 2022Updated 3 years ago
- Tools for testing and verifying the safety and correctness of C programs.☆19May 5, 2025Updated last year
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- ☆20Aug 24, 2025Updated last year
- Skunk-inspired library for SQLite on JVM, Node.js, and Native☆31Jul 19, 2026Updated 3 months ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- Scala library for parsing and printing the SMT-LIB format☆47Dec 30, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- TLA+ specification of Flexible Paxos☆44Oct 14, 2026Updated 3 weeks ago
- Formalisation of a capability machine and principles for reasoning about security properties☆29Oct 13, 2026Updated 3 weeks ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- ☆10Oct 29, 2026Updated last week
- Compile-time query generation for document stores☆21Aug 13, 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
- ☆29Sep 26, 2026Updated last month