|
Circom |
16 |
Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption |
Mar 03, 2024 |
|
C |
3 |
Various benchmarks |
Dec 25, 2021 |
|
C |
32 |
Various benchmarks |
May 19, 2022 |
|
Dockerfile |
5 |
Various gRPC benchmarks |
Aug 08, 2022 |
|
Dockerfile |
10 |
Various gRPC benchmarks |
Mar 12, 2022 |
|
Java |
28 |
Various caliper benchmarks |
Jul 03, 2022 |
|
TypeScript |
2 |
Various fun benchmarks |
Sep 16, 2020 |
|
Shell |
668 |
Various gRPC benchmarks |
Oct 20, 2022 |
|
C++ |
3 |
Various micro benchmarks |
Apr 08, 2022 |
|
Shell |
11 |
Various gRPC benchmarks |
Mar 30, 2023 |
|
Dockerfile |
2 |
Various gRPC benchmarks |
Feb 28, 2024 |
|
Jupyter Notebook |
2 |
Performance Benchmarks & proof-of-concept for RADIS |
Nov 03, 2021 |
|
C# |
7 |
Benchmarks for various .NET libraries. |
Jun 24, 2022 |
|
Perl |
2 |
Benchmarks for various web platforms |
Jan 12, 2017 |
|
Shell |
24 |
Benchmarks for various Zsh frameworks |
Jul 22, 2021 |
|
Shell |
8 |
Benchmarks for various Zsh frameworks |
Dec 13, 2022 |
|
None |
2 |
Benchmarks for various Zsh frameworks |
Jul 15, 2023 |
|
Rust |
26 |
Benchmarks of various hashers |
Feb 27, 2023 |
|
Java |
6 |
BumbleBench benchmarks for various Java collections |
Aug 08, 2022 |
|
JavaScript |
3 |
Benchmarks suite for various sha256 implementations |
Apr 14, 2023 |
|
Python |
89 |
Benchmarks for various machine learning packages |
Apr 27, 2022 |
|
Python |
2 |
Benchmarks for various machine learning packages |
Dec 25, 2012 |
|
Coq |
3 |
Conversion from System T to continuation-passing style (CPS) |
Jan 06, 2018 |
|
Coq |
4 |
None |
Feb 03, 2022 |
|
Coq |
4 |
None |
Sep 07, 2021 |
|
Coq |
4 |
Using VexRiscv without installing Scala |
Dec 10, 2020 |
|
Coq |
4 |
linear algebra done right in coq |
Oct 04, 2021 |
|
Coq |
4 |
Coq code demonstrating a method for representing and reasoning about idealized cryptographic hashing functions |
Jul 06, 2020 |
|
Coq |
4 |
Experiments with an extensible refinement framework |
Oct 10, 2019 |
|
Coq |
4 |
None |
Mar 03, 2021 |
|
Coq |
4 |
A formalization of IO automata in the Coq proof assistant |
Jun 09, 2021 |
|
Coq |
4 |
A Coq framework to support structural design and proof of hardware cache-coherence protocols |
Jun 05, 2022 |
|
Coq |
4 |
Using Coq to derive network configurations from declarative policies |
Dec 16, 2021 |
|
Coq |
4 |
A Coq library for verifying dependencies of stencil implementations |
Apr 14, 2020 |
|
Coq |
4 |
A tutorial on the ott tool for presenting type theory |
Oct 06, 2020 |
|
Coq |
4 |
None |
Aug 13, 2020 |
|
Coq |
4 |
Typeclasses, datatypes and theorems for functional programming in Coq. |
May 02, 2020 |
|
Coq |
4 |
Some Coq formalizations of Linear Logic |
Feb 05, 2022 |
|
Coq |
4 |
None |
Dec 29, 2021 |
|
Coq |
4 |
None |
Jan 12, 2019 |
|
Coq |
5 |
A formally verified generational garbage collector. |
Feb 15, 2022 |
|
Coq |
5 |
Lambda 作品集 |
Apr 22, 2022 |
|
Coq |
5 |
LiteX for the Hack-a-Day 2019 Badge |
Nov 28, 2019 |
|
Coq |
5 |
Coq development of a theory of lightweight cryptographic ledgers |
Sep 08, 2021 |
|
Coq |
5 |
None |
Aug 24, 2021 |
|
Coq |
5 |
Automatic transfer of theorems along isomorphisms in Coq |
Jul 27, 2021 |
|
Coq |
5 |
None |
Jul 28, 2022 |
|
Coq |
5 |
None |
Aug 14, 2015 |
|
Coq |
5 |
None |
Jul 13, 2022 |
|
Coq |
5 |
Formalization of EVM in Coq |
May 23, 2019 |