|
Go |
3 |
Examples verified using Perennial |
Jun 24, 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 |
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 |
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 |
|
Go |
26 |
Fast NFS server implemented using GoJournal |
Sep 12, 2022 |
|
C# |
3 |
Dafny Language Server implementation in C# |
Aug 11, 2022 |
|
Shell |
2 |
Dockerized NFS Server |
Mar 11, 2019 |
|
Shell |
250 |
NFS Ganesha Server and Volume Provisioner. |
Aug 12, 2022 |
|
Python |
8 |
An NFS server for testing unresponsive NFS servers |
Oct 12, 2020 |
|
Puppet |
14 |
Installs and configures NFS server and clients |
Dec 14, 2022 |
|
Go |
4 |
Verified mail server |
Apr 22, 2022 |
|
Ruby |
2 |
YaST module nfs-server |
Nov 03, 2021 |
|
None |
2 |
Using Active Directoy to Kerberize a Linux NFS server and Client |
Nov 17, 2020 |
|
Shell |
12 |
NFS Server for testing NFS Storage with Kubernetes (minikube) |
Feb 19, 2023 |
|
None |
2 |
manage your nfs shares (client and server) |
Sep 06, 2013 |
|
Ruby |
31 |
manage your nfs shares (client and server) |
Dec 11, 2020 |
|
None |
2 |
mini NFS server for Study |
Feb 19, 2020 |
|
OCaml |
15 |
Copy-on-write NFS server |
May 11, 2022 |
|
OCaml |
2 |
Copy-on-write NFS server |
Nov 15, 2017 |
|
Smarty |
2 |
NFS server and provisioner for a kubernetes cluster |
May 22, 2022 |
|
Shell |
2 |
A lightweight, robust, flexible, and containerized NFS server. |
Apr 08, 2023 |
|
Shell |
7 |
NFS Server and Client Project for @balena-os |
Jan 08, 2023 |
|
Shell |
6 |
NFS version 3 server and client in docker |
Apr 30, 2022 |
|
Shell |
584 |
A lightweight, robust, flexible, and containerized NFS server. |
May 21, 2023 |
|
Shell |
3 |
A lightweight, robust, flexible, and containerized NFS server. |
Dec 08, 2021 |
|
C |
5 |
Executable for NFS Underground 2 Server |
May 29, 2022 |
|
Shell |
2 |
nfs-server container image for Kubernetes |
Apr 13, 2022 |
|
Jinja |
2 |
Setup exports on an nfs server |
Jun 18, 2022 |