Creusot helps you prove your code is correct in an automated fashion.
-
Updated
Dec 24, 2024 - Rust
#
proof
Here are 288 public repositories matching this topic...
An advanced SAT solver
-
Updated
Dec 9, 2024 - C++
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
rust proof verification rust-lang formal-methods sat-solver minisat formal-verification sat automated-reasoning satisfiability deductive-reasoning
-
Updated
Apr 10, 2024 - Rust
A framework for formally verifying distributed systems implementations in Coq
-
Updated
May 17, 2024 - Coq
seL4 specification and proofs
-
Updated
Dec 20, 2024 - Isabelle
Public append-only ledger microservice built with Slim Framework
php security cryptography knowledge chain proof hash blake2b security-tools sapient append-only hash-chain
-
Updated
Jan 17, 2022 - PHP
Verified Software Toolchain
c coq proof verification proof-assistant formal-methods compcert formal-verification coq-library formal-specification coq-vst
-
Updated
Dec 9, 2024 - Coq
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
-
Updated
Dec 26, 2024 - Coq
The Ancillary Guide to Dark Mode and Bootstrap 5 - A continuation of the v4 Dark Mode POC.
css bootstrap color front-end framework web proof-of-concept responsive color-scheme proof scss concept mobile-first dark dark-mode add-on prefers-color-scheme bootstrap5 bootstrap-dark
-
Updated
Apr 28, 2023 - SCSS
Project is in active development and has been moved to the EthereumJS VM monorepo.
-
Updated
Jan 19, 2021 - TypeScript
Reference implementation of the OpenRarity protocol with Python.
open-source crypto proof apache2 curio icy nft rarity etherium solana opensea openrarity open-rarity
-
Updated
Jan 4, 2024 - Python
The Definitive Guide to Dark Mode and Bootstrap 4 - A proof of concept
css bootstrap color front-end framework web proof-of-concept responsive color-scheme proof scss bootstrap4 concept dark dark-mode add-on prefers-color-scheme bootstrap-dark mobile-firts
-
Updated
Apr 2, 2022 - HTML
Coq formalizations of functional languages.
-
Updated
Jul 2, 2020 - Coq
In this repository you can find stuff related to hack Facebook & Instagram. Disclaimer: This is only the proof of concept of my piece of code and only for educational purpose. So we are not responsible for any illegal use of this code.
-
Updated
Jun 30, 2024 - PHP
Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
simulator proof argument prover fiat-shamir zero-knowledge proof-of-knowledge verifier completeness nizk zkp soundness
-
Updated
Sep 24, 2023
Hääl - Anonymous Electronic Voting System on Public Blockchains
protocol ethereum dapp smart-contracts blockchain proof whitepaper votes homomorphic-encryption e-voting digital-signatures blockchains electronic-voting voting-system zk-snarks ganache zero-knowledge-proofs stealth-wallets
-
Updated
Dec 9, 2022 - JavaScript
Correctness proofs of Ethereum token contracts
-
Updated
Jun 5, 2019 - Coq
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
-
Updated
Jul 26, 2024 - Coq
Improve this page
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."