There are no reviews yet. Be the first to send feedback to the community and the maintainers!
stainless
Verification framework and tool for higher-order Scala programsleon
The Leon system for verification, synthesis, repairScalaZ3
DSL in Scala for Constraint Solving with Z3 SMT Solverinox
Solver for higher-order functional programs, used by Stainlessscallion
LL(1) parser combinators in Scalasmart
Verification and Generation of Smart Contracts using Stainless and Scalalisa
Proof assistant based on first-order logic and set theorytreenet
Recursive Neural Networks for PyTorchbolts
Bolts: Stainless Verified Scala Examplesnugget
Neural-Network Guided Expression Transformationjahob
Jahob Verification Systemcomfusy
Implementation of the "Complete Functional Synthesis" approach described in the eponymous PLDI 2010 paper.welder
Interactive Theorem Proving based on InoxSystemFR
System FR: Formalized Foundations for Stainlessscallion-proofs
Proofs of correctness for Scallion (https://github.com/epfl-lara/scallion)rust-stainless
An experimental Rust frontend for StainlessStainlessFit
Stainless directly built on System FR, with standalone front-endOCBSL
A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.verified-2048
A 2048 clone verified by Stainlessactors-in-stainless
Actor System library for Stainless which runs on Akkaasplos2022tutorial
ASPLOS 2022 Tutorial on Stainlessfit-code
muscat
A unit testing framework for concurrent Scala programsstainless-project.g8
Giter8 template for Stainless-enabled projectsverifythis2020
VerifyThis2020 Challenge in Stainlesslattices-algorithms
This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilatticessilex-proofs
Proofs on lexing with derivatives and zipperscs550
compiler2024-labs-public
leon-web
Web-interface for LeonGrammarComparison
A System for Analyzing and Comparing Context-Free Grammarsgrammar-web
An online tutoring system for context-free grammarsscala-native-stainless-sample
funprog-lambda
STIX-showcase
Deep_Learning_On_Code_With_A_Graph_Vocabulary
Code to reproduce the experiments in the paper Deep Learning On Code With A Graph Vocabularyverified-lambda
A verified lambda interpreterLove Open Source and this site? Check out how you can help us