|
|
C# |
2 |
Libraries useful for Dafny programs |
Jul 31, 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 |
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 |
|
|
OCaml |
5 |
A tool for deductive verification of Python programs based on Dafny |
Apr 16, 2022 |
|
|
Just |
56 |
Useful libraries, programs, literature, and mods for ComputerCraft and its forks. |
May 20, 2023 |
|
|
Racket |
8 |
Fuzz testing for Dafny |
Jul 24, 2022 |
|
|
C |
25 |
Useful small programs |
Dec 28, 2021 |
|
|
TypeScript |
10 |
VSCode IDE Integration for Dafny |
Jun 07, 2022 |
|
|
C# |
18 |
AWS Encryption SDK for Dafny |
Jul 12, 2022 |
|
|
C |
9 |
Linux libraries for modding OpenGL programs. |
Nov 04, 2021 |
|
|
C |
2 |
INTERCAL useful utility programs |
Oct 30, 2021 |
|
|
Go |
3 |
Useful libraries for Go projects |
Sep 03, 2021 |
|
|
C |
38 |
Useful libraries for STM32 HAL |
Aug 10, 2022 |
|
|
AutoHotkey |
9 |
Useful libraries for AHK v2 |
Apr 24, 2023 |
|
|
VBA |
5 |
Useful libraries for Excel VBA |
Mar 26, 2023 |
|
|
Jupyter Notebook |
2 |
useful libraries for the process |
Jul 23, 2023 |
|
|
Rust |
3 |
Libraries for use in on-chain programs |
Jun 23, 2022 |
|
|
Java |
3 |
Collection of useful libraries for Java. |
Mar 30, 2017 |
|
|
TeX |
8 |
Useful resources and libraries for Salesforce. |
Feb 13, 2023 |
|
|
AppleScript |
12 |
Script libraries useful for developing scripts. |
May 23, 2023 |
|
|
JavaScript |
3 |
useful frontend javascript libraries.. |
Jul 21, 2022 |
|
|
C++ |
5 |
Some useful LD_PRELOAD libraries |
Mar 13, 2023 |
|
|
TypeScript |
18 |
Dafny 2 for Visual Studio Code (Legacy) |
Apr 08, 2021 |
|
|
Lua |
7 |
Various archiving/compression programs and libraries for ComputerCraft |
Mar 04, 2023 |
|
|
None |
2 |
Example programs and libraries for the Basic4GL language |
Apr 23, 2023 |
|
|
Assembly |
4 |
libraries for writing full executable programs with NASM |
May 16, 2023 |
|
|
None |
2 |
A Python parser for Rust libraries and programs. |
Aug 08, 2023 |