|
|
OCaml |
5 |
A tool for deductive verification of Python programs based on Dafny |
Apr 16, 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 |
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 |
|
|
Java |
9 |
Repository for Reporting Tool functionality for classifying FLINT output results into standard reporting formats. |
May 21, 2022 |
|
|
R |
2 |
Word lists for analyzing media reporting |
Nov 22, 2018 |
|
|
Python |
7 |
Python interface for running COMETS simulations and analyzing the results |
Jan 20, 2023 |
|
|
Coq |
100 |
Formal specification and verification of hardware, especially for security and privacy. |
Aug 08, 2022 |
|
|
Perl |
11 |
NAPLAN Results and Reporting draft dataset |
Jul 24, 2022 |
|
|
R |
6 |
Preprocessing, analyzing, and reporting of RNA-seq data |
Aug 08, 2022 |
|
|
R |
2 |
Functions for manipulating, analyzing, and reporting from BLM AIM data |
Mar 20, 2023 |
|
|
Ruby |
4 |
HTML formatter for reporting Cucumber results |
Jul 12, 2022 |
|
|
Python |
9 |
Reporting plugin for chaostoolkit journal results |
Jan 12, 2023 |
|
|
Python |
16 |
Election results data entry and verification software. |
Dec 29, 2021 |
|
|
CSS |
4 |
A standalone tool for analyzing JMeter JTL results file and generate report in PDF/Excel |
Oct 08, 2022 |
|
|
Kotlin |
4 |
Plugin for danger-kotlin for parsing and reporting JUnit results |
Feb 28, 2022 |
|
|
Shell |
8 |
Scripts for analyzing VASP output and preparing VASP input, especially for NEB calculations. |
Aug 20, 2022 |
|
|
Java |
2 |
JUnit XML formatter for reporting Cucumber results |
Jan 31, 2023 |
|
|
Python |
8 |
The Auditree data gathering and reporting tool. |
Jan 18, 2022 |
|
|
None |
2 |
Interpretation of iperf and iperf3 results, especially regarding speed |
Jul 03, 2022 |
|
|
C++ |
104 |
tool for analyzing and converting PDF |
Aug 26, 2021 |
|
|
Java |
3 |
Tool for paralell simulations and verification |
Aug 16, 2022 |
|
|
C++ |
5 |
Reporting tool and module for Qt |
Feb 13, 2022 |
|
|
Java |
33 |
mzTab Reporting MS-based Proteomics and Metabolomics Results |
Apr 13, 2023 |
|
|
Ruby |
5 |
Plugins for the Scout Server Monitoring and Reporting Tool |
May 05, 2017 |
|
|
Ruby |
2 |
Plugins for the Scout Server Monitoring and Reporting Tool |
May 29, 2022 |
|
|
Ruby |
2 |
Plugins for the Scout Server Monitoring and Reporting Tool |
Mar 12, 2023 |
|
|
Python |
3 |
A python package for analyzing MISOMIP1 and ISOMIP+ simulation results |
Feb 24, 2021 |