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 programsscallion
LL(1) parser combinators in Scalasmart
Verification and Generation of Smart Contracts using Stainless and Scalatreenet
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.silex
Lexing library for Scalawelder
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-endverified-2048
A 2048 clone verified by Stainlessstainless-actors
Actor System library for Stainless which runs on Akkaasplos2022tutorial
ASPLOS 2022 Tutorial on StainlessOCBSL
A minimal algorithm to decide the word problem in Orthocomplemented Bisemilattices, in Scala.fit-code
verifythis2020
VerifyThis2020 Challenge in Stainlesssilex-proofs
Proofs on lexing with derivatives and zipperscs550
lattices-algorithms
This repository contains two algorithms for the word problem and normalization problem of Ortholattices and Orthocomplemented Bisemilatticesmuscat
A unit testing framework for concurrent Scala programsgrammar-web
An online tutoring system for context-free grammarscompiler2024-labs-public
leon-web
Web-interface for Leonstainless-project.g8
Giter8 template for Stainless-enabled projectsGrammarComparison
A System for Analyzing and Comparing Context-Free Grammarsscala-native-stainless-sample
Deep_Learning_On_Code_With_A_Graph_Vocabulary
Code to reproduce the experiments in the paper Deep Learning On Code With A Graph Vocabularyfunprog-lambda
STIX-showcase
verified-lambda
A verified lambda interpreterLove Open Source and this site? Check out how you can help us