|
SystemVerilog |
549 |
Proving leftpad correct in a dozen different ways |
May 07, 2023 |
|
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 |
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 |
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 |
|
C |
2 |
A lock-free, non-blocking queue data structure. |
Mar 17, 2015 |
|
Go |
4 |
Blocking queue for GoLang |
Nov 16, 2021 |
|
JavaScript |
7 |
How queue blocking was achieved |
Aug 02, 2022 |
|
JavaScript |
4 |
5 different ways |
May 22, 2022 |
|
Scala |
10 |
An extremely simple non-blocking queue in Scala |
Aug 13, 2019 |
|
TypeScript |
4 |
Memory optimized promise blocking queue with concurrency control |
Feb 06, 2022 |
|
JavaScript |
9 |
GraphQL clients four different ways |
Jun 18, 2022 |
|
JavaScript |
3 |
Different ways to compile typescript |
Aug 26, 2021 |
|
Makefile |
37 |
A library for deadlock-free session-typed communication in Rust. |
May 05, 2022 |
|
C++ |
8 |
C++ lock-free queue. |
Sep 20, 2022 |
|
Go |
2 |
Time driven non-blocking and high-performance batch queue |
Jan 30, 2023 |
|
SMT |
3 |
Different ways to solve a problem using different languages |
Apr 16, 2021 |
|
Python |
22 |
Different ways of plotting incoming data |
Apr 08, 2022 |
|
JavaScript |
184 |
Comparing different ways to style components |
Apr 24, 2022 |
|
CSS |
2 |
Different ways to use Google fonts. |
Oct 11, 2015 |
|
None |
14 |
Ways to target different email clients |
Mar 02, 2023 |
|
None |
2 |
Different ways to represent lorenz attractor |
Dec 20, 2023 |
|
Go |
9 |
Lock free queue in golang |
Apr 02, 2021 |
|
Rust |
6 |
An experimental lock-free queue |
May 20, 2020 |
|
Java |
2 |
A hash based thread safe implementation of linked blocking queue. |
Feb 13, 2022 |
|
TypeScript |
5 |
A deadlock-free communication API for web workers based on session types |
Mar 26, 2022 |
|
Agda |
3 |
wherein I describe deadlock and race-free session types with non-determinism |
Oct 11, 2020 |
|
C++ |
22 |
Online deadlock-free multi-agent trajectory planner using linear safe corridor (LSC) |
Apr 29, 2023 |
|
PHP |
5 |
Unified API for different queue services inspired by Laravel Queue. |
Jan 28, 2023 |