|
|
Dafny |
4 |
VeriBetrKV OSDI'20 artifact |
Jun 16, 2022 |
|
|
Dafny |
9 |
Verifying OpenTitan |
Apr 24, 2022 |
|
|
Dafny |
13 |
Deposit smart contract in Dafny |
Jul 27, 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 |
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 |
|
|
Scala |
3 |
ProSpeCT: Provably Secure Speculation for the Constant-Time Policy |
May 06, 2023 |
|
|
Python |
64 |
MSR Project Freta |
Jul 21, 2022 |
|
|
C++ |
2312 |
Secure, Reliable, Transport |
Sep 12, 2022 |
|
|
C++ |
3 |
Secure, Reliable, Transport |
Jun 16, 2022 |
|
|
HTML |
4 |
Reliable and highly secure Password-Manager |
May 10, 2022 |
|
|
TypeScript |
7 |
Simple. Secure. Reliable messaging. |
Nov 10, 2022 |
|
|
None |
32 |
📦🐈 Fast, reliable, and secure dependency management. |
Feb 04, 2020 |
|
|
JavaScript |
2 |
📦🐈 Fast, reliable, and secure dependency management. |
Feb 22, 2023 |
|
|
None |
40452 |
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems |
Sep 04, 2022 |
|
|
None |
2 |
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems |
Jul 01, 2022 |
|
|
None |
2 |
The Patterns Behind Scalable, Reliable, and Performant Large-Scale Systems |
Jul 31, 2022 |
|
|
None |
2 |
Master and Bachelor Thesis Proposals for the Reliable Systems Lab |
Dec 14, 2022 |
|
|
None |
2 |
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems |
Mar 04, 2023 |
|
|
None |
4 |
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems |
Feb 04, 2022 |
|
|
F* |
178 |
Automated generation of provably secure, zero-copy parsers from format specifications |
Aug 20, 2022 |
|
|
C |
3 |
Secure Reliable Transport Integration For Gstreamer |
Jan 27, 2022 |
|
|
OCaml |
7 |
OCaml bindings for the Secure, Reliable, Transport protocol library |
Jan 02, 2022 |
|
|
None |
2 |
extremely reliable networked systems toolkit |
Jun 03, 2023 |
|
|
Java |
4 |
Secure and reliable APIs for your common business needs |
Aug 30, 2022 |
|
|
JavaScript |
227 |
A more secure. stable and reliable version of vapor.js |
Nov 11, 2022 |
|
|
None |
2 |
A more secure. stable and reliable version of vapor.js |
Jan 08, 2013 |
|
|
JavaScript |
2 |
A more secure. stable and reliable version of vapor.js |
Oct 04, 2022 |
|
|
Rust |
25 |
building blocks and testing tools for reliable systems |
Jan 29, 2020 |
|
|
JavaScript |
9 |
SPR is a secure programmable router. This project builds and runs the main services and … |
Jun 01, 2022 |
|
|
None |
40 |
A documentation and tracking project with the goal of making package management systems more secure. |
Jun 16, 2022 |