The open-source Stainless — point your existing stainless.yml at it and get the same idiomatic Python SDK. Zero migration. No SaaS.
Verification and Generation of Smart Contracts using Stainless and Scala
System FR: Formalized Foundations for Stainless
Stainless directly built on System FR, with standalone front-end
Actor System library for Stainless which runs on Akka
A sbt plugin for stainless users to verify code in sbt command line.
MSc project on «Formal Verification of Rust with Stainless».
This repo is a small study about prime numbers and gaps. It defined the Sieve Sequence math object from scratch, used stainless to verify the key properties and extracted some more properties related to primality, 2-gaps structure and twin primes.
Formally verified double-entry flow interpreter for SFC-ABM models. Stainless + Z3.
A formal definition of a language accompanied by proofs of its properties.
A wrapper for the 24Fire v2 RESTful API build using stainless.
TypeScript/JavaScript client for the Merchant Categories REST API - fully typed requests and responses for server-side Node, generated with Stainless, with an MCP server package alongside the client.
Ace Stainless Supply blog extractor
To associate your repository with the stainless topic, visit your repo's landing page and select "manage topics."