|
|
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 |
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 |
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 |
|
|
C++ |
2 |
Work in Progress Pascal Compiler |
Sep 30, 2019 |
|
|
C |
72 |
Programming language and compiler —WORK IN PROGRESS— |
Aug 12, 2022 |
|
|
C |
2 |
A work-in-progress reimplementation of Grand Theft Auto 2. |
Jan 31, 2023 |
|
|
C++ |
3 |
A work in progress compiler backend for MIPS |
May 09, 2022 |
|
|
Python |
4 |
Cross Platform LLVM-based C Compiler(Work in progress) |
Apr 04, 2022 |
|
|
Lua |
8 |
The Luau compiler implemented in Luau (work in progress) |
Aug 15, 2022 |
|
|
Nim |
4 |
Manifests & resources compiler for .apk files (Work in Progress) |
Apr 07, 2022 |
|
|
Crystal |
4 |
A WebAssembly Compiler for Crystal. WIP : Work In Progress ! |
May 31, 2022 |
|
|
JavaScript |
2 |
[BETA/Work In Progress] Ahead-of-Time Compiler for Webpack. |
Sep 11, 2021 |
|
|
Swift |
640 |
Swift compiler driver reimplementation in Swift |
Aug 09, 2022 |
|
|
Swift |
2 |
Swift compiler driver reimplementation in Swift |
Aug 21, 2022 |
|
|
Swift |
3 |
Swift compiler driver reimplementation in Swift |
Sep 21, 2022 |
|
|
None |
2 |
Swift compiler driver reimplementation in Swift |
Sep 21, 2023 |
|
|
None |
20 |
A work in progress documentation of how the TypeScript compiler works |
Jun 14, 2021 |
|
|
C |
33 |
A work-in-progress open source reimplementation of the classic Macintosh shareware game Reckless Drivin' |
May 05, 2023 |
|
|
Coq |
198 |
A work-in-progress language and compiler for verified low-level programming |
Aug 12, 2022 |
|
|
TeX |
3 |
Work-in-progress documentation for the CHERI LLVM / Clang compiler and ABI |
Feb 19, 2021 |
|
|
FreeBasic |
3 |
A compiler (in progress...) |
May 19, 2022 |
|
|
JavaScript |
4 |
**work in progress** |
Aug 29, 2018 |
|
|
CMake |
4 |
Work in progress |
Feb 19, 2017 |
|
|
Rust |
4 |
(Work in progress) |
Sep 28, 2020 |
|
|
C |
4 |
Work in progress |
Jun 17, 2021 |
|
|
Rust |
4 |
Work in progress |
Apr 07, 2021 |
|
|
HTML |
5 |
work in progress |
Jan 10, 2022 |
|
|
TypeScript |
5 |
WORK IN PROGRESS |
Aug 17, 2022 |