|
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 |
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 |
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 |
4 |
Material for the class on verification of digital designs |
Jul 29, 2023 |
|
HTML |
2 |
Fantom: A scalable framework for asynchronous distributed systems |
Apr 21, 2020 |
|
C++ |
30 |
Minimal C++ asynchronous network library for distributed systems. |
Mar 16, 2023 |
|
TypeScript |
31 |
The frontend/user interface for my distributed systems class |
Feb 14, 2023 |
|
Clojure |
7 |
A framework for distributed systems verification, with fault injection |
Jul 01, 2021 |
|
Clojure |
2 |
A framework for distributed systems verification, with fault injection |
Mar 10, 2022 |
|
None |
3 |
A framework for distributed systems verification, with fault injection |
Jun 15, 2021 |
|
Clojure |
43 |
A framework for distributed systems verification, with fault injection |
Jun 28, 2022 |
|
Clojure |
5853 |
A framework for distributed systems verification, with fault injection |
Oct 15, 2022 |
|
Clojure |
2 |
A framework for distributed systems verification, with fault injection |
May 06, 2023 |
|
Go |
2593 |
Basic Sources for MIT 6.824 Distributed Systems Class |
Aug 31, 2022 |
|
None |
8563 |
Class materials for a distributed systems lecture series |
Apr 28, 2023 |
|
Go |
3 |
Basic Sources for MIT 6.824 Distributed Systems Class |
Jan 16, 2021 |
|
None |
3 |
:pencil: on an intro to distributed systems class |
May 28, 2021 |
|
None |
2 |
Class materials for a distributed systems lecture series |
Apr 11, 2024 |
|
Java |
6 |
Material and source-code related to my lecture on distributed systems |
May 05, 2022 |
|
TeX |
2 |
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems |
Apr 21, 2020 |
|
Go |
2 |
MapReduce implementation written in Go with heavy use of concurrency and the distributed systems paradigm. … |
Nov 13, 2022 |
|
C++ |
2 |
Lab material for Python for Cloud and embedded systems class @ Vidyut20 |
Mar 04, 2023 |
|
Java |
44 |
Course material for the Computer Systems for Data Science class at Columbia |
Apr 21, 2022 |
|
Java |
4 |
Microservices and Distributed Systems |
Apr 19, 2023 |
|
C++ |
2 |
This repository contains the basic files for the class project of the course "Verification of … |
Jan 09, 2022 |
|
None |
5 |
Lamellar is an asynchronous tasking runtime for HPC systems developed in RUST |
May 27, 2022 |
|
Rust |
13 |
Lamellar is an asynchronous tasking runtime for HPC systems developed in RUST |
Aug 17, 2022 |
|
Java |
6 |
Here you can find the material for the lab sessions of the course Distributed Systems … |
Sep 17, 2019 |