Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with stainless
A curated list of projects in awesome lists tagged with stainless .
https://github.com/ef55/stainless-stlc
System F in Stainless
lambda-calculus stainless system-f verified
Last synced: 10 Oct 2024
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: 20 Nov 2024
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: 08 Nov 2024
https://github.com/cs550-epfl/cs550
Mirror of EPFL CS-550 GitLab page
formal-verification lisa stainless
Last synced: 12 Nov 2024
