|
|
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 |
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 |
|
|
Clojure |
4 |
toy datalog |
May 23, 2020 |
|
|
JavaScript |
5 |
Datalog Talk |
Jan 27, 2020 |
|
|
Erlang |
8 |
Redis datalog support |
Apr 08, 2022 |
|
|
Elixir |
2 |
Datalog in Elixir |
Dec 30, 2022 |
|
|
Shell |
2 |
Datalog benchmark suite |
Feb 04, 2024 |
|
|
Python |
4 |
A fast DataLog Reasoner |
Sep 06, 2021 |
|
|
Scala |
11 |
Datalog implementation in Scala. |
Oct 19, 2021 |
|
|
None |
6 |
A janet datalog engine |
Aug 09, 2021 |
|
|
Clojure |
374 |
Datalog based rules engine |
Apr 17, 2023 |
|
|
None |
5 |
Learn xtdb Datalog syntax |
Sep 29, 2022 |
|
|
Clojure |
17 |
Datalog based rules engine |
Jun 24, 2022 |
|
|
Scheme |
24 |
Datalog implemented in minikanren |
Apr 09, 2023 |
|
|
Shell |
5 |
verified books |
Apr 10, 2023 |
|
|
None |
42 |
Verified Cheatss |
May 28, 2023 |
|
|
TypeScript |
132 |
a datalog interpreter in typescript |
Sep 09, 2022 |
|
|
Rust |
4 |
Datalog engine based on DuckDB |
Mar 09, 2023 |
|
|
Rust |
11 |
A linter for Soufflé Datalog |
Feb 07, 2023 |
|
|
Haskell |
4 |
Haskell bindings for Eclair Datalog |
Feb 07, 2023 |
|
|
Haskell |
5 |
Haskell EDSL for Souffle Datalog |
Feb 07, 2023 |
|
|
Java |
2 |
Pire, Distributed Datalog, HySpirit, DDatalog |
Jan 11, 2021 |
|
|
Rust |
5 |
Datalog with equality for rust |
May 07, 2023 |
|
|
Java |
25 |
Kafka as a Datalog Engine |
Dec 20, 2022 |
|
|
Shell |
3 |
AdventOfCode solved using Differential Datalog |
Feb 23, 2022 |
|
|
Haskell |
33 |
BDD-based implementation of Datalog |
Feb 19, 2023 |
|
|
C# |
5 |
FactoryTalk View SE datalog converter |
Aug 22, 2023 |