Projects in Awesome Lists tagged with stainless

A curated list of projects in awesome lists tagged with stainless .

• Sort

  • Recently synced
  • Stars

https://github.com/ef55/stainless-stlc

System F in Stainless

lambda-calculus stainless system-f verified

Last synced: 10 Feb 2025

https://github.com/yannbolliger/rust-stainless-thesis-report

MSc project on «Formal Verification of Rust with Stainless».

compilers formal-methods formal-verification rust scala stainless

Last synced: 21 Feb 2025

https://github.com/theogravity/stainless-tools

Unofficial CLI tool for interacting with the Stainless SDK generation service (stainless.com)

cli generator sdk stainless tool

Last synced: 14 Apr 2025

https://github.com/shilangyu/formal-lang

A formal definition of a language accompanied by proofs of its properties.

formal-verification lean memory-safety programming-language-theory stainless

Last synced: 14 Mar 2025

https://github.com/cs550-epfl/cs550

Mirror of EPFL CS-550 GitLab page

formal-verification lisa stainless

Last synced: 28 Feb 2025