Skip to content
View aybehrouz's full-sized avatar
17 followers · 11 following

Organizations

@Argennon-Project

Block or report aybehrouz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

aybehrouz / argennon

The Argennon whitepaper, describing the Argennon Execution Environment (AscEE) and the Argennon protocol

TeX 7 1 Updated Feb 8, 2023

antlr / antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Java 18,961 3,463 Updated Feb 16, 2026

Consensys / doc.gnark

gnark is a fast, open-source library for zero-knowledge proof protocols written in Go.

CSS 12 14 Updated Jul 28, 2026

noir-lang / acvm

Rust 49 17 Updated Sep 20, 2023

0xMiden / air-script

A domain-specific language for writing AIR constraints for STARKs

Rust 97 39 Updated Apr 16, 2026

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs

Rust 1,380 406 Updated Aug 1, 2026

Consensys / gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Go 1,728 527 Updated Jul 31, 2026

barnjamin / zk-experiments

Jupyter Notebook 13 1 Updated Jan 12, 2023

ziesha-network / bazuka

Rust implementation of Ziesha protocol

Rust 1,056 448 Updated Oct 12, 2023

Argennon-Project / ADAGs

The Argennon Decentralized Autonomous Governance system

Solidity 11 8 Updated Jan 11, 2023

Starred topics