Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with soundness

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

https://github.com/baro77/ZKbasicsCS

Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

argument completeness fiat-shamir nizk proof proof-of-knowledge prover simulator soundness verifier zero-knowledge zkp

Last synced: 17 Nov 2024

https://github.com/blaisorblade/dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

coq coq-formalization coq-formalizations dot-calculus paper soundness type-theory

Last synced: 01 Nov 2024

https://github.com/jvanbruegge/isabelle-lambda-calculus

A formal definition and verification of System F. To be extended to System Fc

formal-verification programming-languages soundness

Last synced: 06 Nov 2024