|
|
Dafny |
4 |
VeriBetrKV OSDI'20 artifact |
Jun 16, 2022 |
|
|
Dafny |
9 |
Verifying OpenTitan |
Apr 24, 2022 |
|
|
Dafny |
8 |
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs |
Apr 16, 2023 |
|
|
Dafny |
50 |
An EVM interpreter in Dafny |
Apr 13, 2023 |
|
|
Dafny |
4 |
A work-in-progress reimplementation of Dafny's compiler, in Dafny |
Feb 09, 2023 |
qbft-formal-spec-and-verification
|
Dafny |
2 |
None |
Jul 01, 2022 |
|
|
Dafny |
2 |
A tool for analyzing and reporting on Dafny, especially the results of verification |
Aug 09, 2022 |
|
|
Dafny |
3 |
Some examples of Dafny code to support training sessions |
Dec 21, 2021 |
|
|
Dafny |
14 |
A verified high-performance file system |
May 19, 2022 |
|
|
Dafny |
16 |
Libraries useful for Dafny programs |
Jul 24, 2022 |
|
|
Dafny |
51 |
Eth2.0 spec in Dafny |
Jul 04, 2022 |
|
|
Dafny |
3 |
Verification of Smart Contracts with Dafny – FMICS paper examples |
Mar 23, 2023 |
|
|
Dafny |
13 |
DaisyNFS is an NFS server verified using Dafny and Perennial. |
Sep 23, 2022 |
|
|
Dafny |
2 |
A verified intermediate verification language |
Mar 04, 2023 |
|
|
Dafny |
214 |
The MSR Ironclad project builds provably secure and reliable systems. |
Aug 02, 2022 |
|
|
Dafny |
2 |
Dafny |
Apr 12, 2023 |
|
|
Dafny |
2 |
Verified Datalog |
Mar 04, 2023 |
|
|
Dafny |
4 |
i am so smart |
Dec 16, 2022 |
|
|
Dafny |
9 |
None |
Aug 16, 2022 |
|
|
Dafny |
18 |
Dafny for Metatheory of Programming Languages |
Apr 09, 2023 |
|
|
Dafny |
4 |
Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell … |
Feb 02, 2023 |
|
|
Dafny |
37 |
Proving a blocking queue deadlock free in a dozen different ways |
Dec 21, 2022 |
|
|
Dafny |
4 |
Short introduction to Dafny |
Sep 21, 2023 |
|
|
Dafny |
2 |
IronSync paper artifact for OSDI 2023 |
Nov 03, 2023 |
|
|
Dafny |
2 |
some formal verification exercises using dafny. |
Jan 16, 2023 |
|
|
Python |
15 |
A smart contract to enhance the user experience of the `eth2` deposit contract. |
Sep 04, 2022 |
|
|
JavaScript |
12 |
Batch Deposit and Service Fee collection Smart Contract for ETH 2.0 |
May 14, 2023 |
|
|
Python |
6 |
simple görli mass deposit contract |
Aug 12, 2022 |
|
|
JavaScript |
15 |
This is a rewrite of the official beacon chain deposit contract. Eth 2.0 deposit contract. |
Jan 17, 2022 |
|
|
JavaScript |
3 |
smart contract to interact with Aave lending protocol to deposit ETH and borrow DAI |
Dec 01, 2021 |
|
|
Solidity |
3 |
solidity smart contract master (diamond smart contract) |
Mar 29, 2022 |
|
|
Solidity |
2 |
Smart Contract |
Jun 11, 2022 |
|
|
None |
3 |
smart-contract |
Sep 03, 2021 |
|
|
TypeScript |
3 |
smart contract |
Sep 20, 2021 |
|
|
Solidity |
2 |
smart contract |
Jan 09, 2022 |
|
|
TypeScript |
6 |
Smart-Contract |
Apr 28, 2023 |
|
|
None |
3 |
Smart Contract |
Mar 22, 2023 |
|
|
Move |
2 |
smart contract |
Apr 11, 2023 |
|
|
Solidity |
2 |
ATM Smart Contract-Consensus Contract |
Dec 15, 2021 |
|
|
JavaScript |
7 |
This project aims to create a smart cryptocurrency bank that allows users to deposit and … |
Mar 23, 2022 |
|
|
Solidity |
4 |
CARBO Smart Contract |
Apr 26, 2022 |
|
|
Solidity |
4 |
Dao smart contract |
Mar 01, 2022 |
|
|
Solidity |
4 |
Minting Smart Contract |
Jun 10, 2022 |
|
|
Solidity |
5 |
Feature smart contract |
May 26, 2022 |
|
|
Solidity |
5 |
SafeGalaxy Smart Contract |
Jul 16, 2022 |
|
|
Go |
9 |
NeoFS smart-contract |
Aug 12, 2022 |
|
|
Solidity |
10 |
Avatars smart contract |
May 30, 2022 |
|
|
Solidity |
12 |
yooshi smart contract |
Apr 16, 2022 |
|
|
Solidity |
2 |
Revoluzion Smart Contract |
May 09, 2022 |
|
|
None |
2 |
Smart Contract Code |
Dec 05, 2021 |