|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
None |
42 |
Verified Cheatss |
May 28, 2023 |
|
None |
6 |
Verified by Github |
Jun 13, 2022 |
|
C |
9 |
User verified types |
Aug 09, 2020 |
|
Python |
23 |
Verified Security Tests |
Apr 04, 2023 |
|
JavaScript |
2 |
SMS verified faucet |
Jan 02, 2022 |
|
None |
2 |
ENS formally verified |
Jan 10, 2022 |
|
Go |
2 |
Verified execution - OmniContract |
Jan 28, 2023 |
|
TypeScript |
2 |
Verified Partners Registry |
Jan 31, 2023 |
|
C |
3 |
Minimal verified webserver |
Oct 15, 2022 |
|
Coq |
381 |
Verified Software Toolchain |
Apr 27, 2023 |
|
Go |
4 |
Verified mail server |
Apr 22, 2022 |
|
Scala |
2 |
Gradually Verified C0 |
Jan 21, 2023 |
|
Rust |
4 |
Verified Wasm runtime |
May 17, 2023 |
|
Python |
3 |
Fast email verified and phone verified token gen needs proxies |
Mar 15, 2022 |
|
JavaScript |
5 |
Verified Non Fungible Token |
Nov 04, 2021 |
|
JavaScript |
12 |
[DEPRECATED] Ethereum Verified Contracts |
Feb 03, 2022 |
|
TypeScript |
316 |
Plugins Verified by Homebridge |
Aug 14, 2022 |
|
Roff |
2 |
CNFTs Verified Policy Database |
Jan 01, 2022 |
|
Roff |
2 |
CNFTs Verified Policy Database |
Nov 25, 2021 |
|
None |
14 |
Verified Boot for RPi3 |
Mar 22, 2023 |
|
CMake |
2 |
Verified Telemetry FreeRTOS Sample |
Oct 26, 2021 |
|
Roff |
159 |
CNFTs Verified Policy Database |
Apr 28, 2022 |
|
Go |
3 |
Examples verified using Perennial |
Jun 24, 2022 |
|
Rust |
515 |
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot. |
May 03, 2023 |
|
None |
5 |
Output of verified program builds. |
Mar 04, 2022 |
|
None |
7 |
Blockscout verified smart-contracts dumps |
Jun 10, 2022 |
|
OpenQASM |
2 |
Verified Compilation of Quantum Oracles |
Oct 13, 2022 |
|
Scala |
15 |
Bolts: Stainless Verified Scala Examples |
Mar 15, 2023 |
|
Coq |
2 |
The CompCert C verified compiler |
May 02, 2022 |
|
Coq |
23 |
Functional Algorithms Verified in SSReflect |
Aug 05, 2022 |
|
HTML |
4 |
Formally verified x86-64 decompilation |
Apr 16, 2023 |
|
Python |
6 |
Verified Sets of NFT Collections |
Feb 24, 2023 |
|
Dafny |
2 |
A verified intermediate verification language |
Mar 04, 2023 |
|
Python |
4 |
Research on verified model counting |
Jan 14, 2023 |
|
Go |
2 |
verified "standard library" for Goose |
Apr 14, 2022 |
|
F# |
218 |
Verified Assembly Language for Everest |
Aug 03, 2022 |
|
Kotlin |
11 |
Downloads verified contracts from Etherscan |
Nov 09, 2022 |
|
Python |
47 |
Dump Android Verified Boot Signature |
Mar 27, 2023 |
|
JavaScript |
2 |
Verified tokens list on Minswap |
Apr 21, 2023 |
|
Idris |
9 |
Verified networking using dependent types |
Sep 02, 2021 |
|
PHP |
4 |
Certification verified students records system |
Sep 28, 2021 |
|
Isabelle |
91 |
Verified iptables Firewall Ruleset Analysis |
May 05, 2023 |
|
TypeScript |
2 |
Bundles for Verified Homebridge Plugins |
Jul 27, 2023 |
|
Lean |
4 |
A verified convex optimization framework |
Apr 30, 2023 |
|
Haskell |
8 |
Verified instances for parallel programming. |
Mar 03, 2021 |
|
Coq |
3 |
Proofs for properties of a gradually verified language based on a statically verified one. |
Mar 29, 2019 |
|
None |
117 |
:books: books |
May 14, 2023 |
|
None |
4 |
:books: books |
Apr 11, 2023 |
|
Coq |
5 |
A formally verified generational garbage collector. |
Feb 15, 2022 |