binadamu-isiyoonekana Goto Github PK

eprover

FOL theorem prover

era-circuit_testing

vk-generator

era-sync_vm

Circuit Implementation of zkVM for zkSync Era

eventree

A library for immutable lossless syntax trees in Rust

evoram

Implementation of Externally Verifiable ORAM

ezkl

ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

faest-rs

Initial Rust implementation of FAEST

fast

Flat Abstract Syntax Tree

fast-lexer-experiment

Experiments with high-throughput lexing on aarch64

flashlight

A C++ standalone library for machine learning

flowable-bpmn-intellij-plugin

Flowable, Activiti (6.x), Camunda BPMN engines process editor plugin for IntelliJ. Pure Kotlin (and some Java)

fluida

High-performance flow computing toolbox

folding-schemes

framed-msgpack

A MessagePack-based codec with a prefixed length for use with tokio-rs

frpc

A high performance Remote Procedure Call system.

functional-commitment

Implementation of efficient function-hiding functional commitments https://eprint.iacr.org/2021/1342

gamegym

A game theory framework with examples and algorithms

github-actions

Collection of GitHub Actions for building CI/CD workflows

gkr-mimc

gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation

gno

Gno language

goeland

A first-order concurrent automated theorem prover

gosh

Git Open Source Hodler

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

graph

A library for high-performant graph algorithms.

graphbuddy

Graph Buddy helps you to understand the code better

gtcogs

Sketch of a game theory framework in Rust

guillaume-vesting-contract

Some solidity work

hagl

A Haskell DSEL for experimental game theory.

halo2aggregator-s

hodor

Open source implementation of zkSTARKs in pure Rust