|
C |
18 |
silky, high performance distributed file-system |
Oct 06, 2022 |
|
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 |
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 |
|
Coq |
19 |
Formally verified operator language and rewriting engine for high-performance computing |
Mar 20, 2023 |
|
C++ |
5 |
High performance file sharing service |
Oct 19, 2022 |
|
C++ |
9 |
High performance machine learning system |
May 11, 2020 |
|
C++ |
80 |
High-Performance C++ Data System |
Oct 15, 2022 |
|
Java |
1324 |
A high available,high performance distributed messaging system. |
Apr 19, 2023 |
|
Go |
7 |
A high-performance, POSIX-ish File System based on beyondstorage/go-storage |
Oct 18, 2022 |
|
Go |
4623 |
a high-performance, POSIX-ish Amazon S3 file system written in Go |
Apr 22, 2023 |
|
Java |
3 |
A high-performance duplicate file finder |
Jan 02, 2023 |
|
Java |
49 |
A High-performance, High-extensibility and High-portability APR System |
Feb 27, 2023 |
|
None |
5 |
Ultra high performance distributed storage system |
May 19, 2022 |
|
TypeScript |
751 |
A decentralized high-performance storage system |
Aug 16, 2022 |
|
C++ |
97 |
High performance Entity/Component/System library. |
Oct 17, 2022 |
|
Python |
4 |
Pure Python High Performance File Encryption Software |
May 27, 2022 |
|
C |
30 |
a high performance distributed file storage service. |
Feb 13, 2023 |
|
None |
2 |
high performance file upload streaming for dotnet |
Mar 20, 2023 |
|
C++ |
66 |
High-performance file management over WebDAV / HTTP |
May 20, 2023 |
|
Perl |
8 |
High-performance, dynamic web site authoring system |
Jan 04, 2022 |
|
None |
3010 |
A Distributed and High-Performance Monitoring System |
Aug 09, 2022 |
|
Kotlin |
2 |
A high-performance Android system parasitic container. |
Mar 21, 2023 |
|
Go |
594 |
A High Performance Metadata System for Kubernetes |
Apr 27, 2023 |
|
JavaScript |
5181 |
A cross platform high-performance graphics system. |
May 23, 2023 |
|
Clojure |
526 |
A Clojure high performance data processing system |
May 23, 2023 |
|
Go |
5 |
high performance in-memory indexed static file webserver |
Apr 10, 2022 |
|
Rust |
102 |
A high-performance, cross-platform file reverse utility |
Apr 22, 2023 |