|
Python |
2 |
Code examples for Camac algorithms training sessions |
Sep 29, 2020 |
|
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 |
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 |
|
None |
3 |
Code examples used during sessions |
Nov 17, 2021 |
|
Makefile |
2 |
Examples from Code Kata sessions. |
Apr 03, 2022 |
|
JavaScript |
2 |
Some examples, code snippets, solutions, etc. used in my teaching sessions for VetsWhoCode |
Mar 13, 2023 |
|
JavaScript |
16 |
MapBiomas training sessions |
Jan 26, 2023 |
|
Lean |
2 |
Some experiments in Dafny-like syntax in Lean 4 |
Apr 06, 2023 |
|
None |
2 |
Code examples from Twitch and YouTube live coding sessions |
Jan 02, 2023 |
|
TypeScript |
18 |
Dafny 2 for Visual Studio Code (Legacy) |
Apr 08, 2021 |
|
TypeScript |
2 |
Artifacts for Pulumi training sessions |
Mar 28, 2023 |
|
HTML |
3 |
:alarm_clock: Application for training sessions |
Mar 11, 2023 |
|
Python |
2 |
some practical python code examples |
Dec 13, 2021 |
|
OCaml |
5 |
Some examples of reason code |
Feb 23, 2018 |
|
HTML |
56 |
These are some code examples |
Nov 14, 2022 |
|
JavaScript |
42 |
HTML5 Training material for Attack and Secure training sessions. |
Apr 06, 2023 |
|
Kotlin |
2 |
Exercises for live gradle.com/training sessions |
Aug 09, 2022 |
|
JavaScript |
2 |
Examples used during think2020 sessions |
May 11, 2021 |
|
Jupyter Notebook |
2 |
training examples |
Dec 19, 2020 |
|
Ruby |
13 |
support for dojo sessions |
Feb 11, 2021 |
|
PHP |
20 |
Some code examples for developer documentation. |
Oct 14, 2020 |
|
JavaScript |
2 |
examples of some useful JavaScript code |
Apr 14, 2023 |
|
JavaScript |
10 |
Resources + Code examples for the 4K Waterwheel training |
Mar 20, 2018 |
|
Jupyter Notebook |
2 |
Some items for live sessions |
Dec 05, 2017 |
|
Kotlin |
3 |
Support for running documentation code examples |
Feb 02, 2022 |
|
C |
37 |
Erised Reverse Engineering and Exploitation Training Sessions |
Feb 01, 2023 |
|
HTML |
2 |
Repository of all code examples and exercises covered during the recorded sessions. |
Apr 16, 2023 |