Consensys / verax-documentationView external linksLinks
Documentation of the Verax Project
☆12Dec 2, 2025Updated 2 months ago
Alternatives and similar repositories for verax-documentation
Users that are interested in verax-documentation are comparing it to the libraries listed below
Sorting:
- Linea ENS compatible with ENS on Ethereum☆27Jan 28, 2026Updated 2 weeks ago
- Specification of the constraint system underlying Linea's zk-EVM.☆30Updated this week
- Implementation of the constraint system of Linea, specified in the linea-specification repo☆36Updated this week
- Linea Sequencer Implementation☆34May 28, 2025Updated 8 months ago
- This is a online tool for you to record down every single leetcode problem you have done.☆17Sep 21, 2025Updated 4 months ago
- ZKsync fork of the LLVM framework (EraVM).☆36Dec 18, 2025Updated last month
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆57Updated this week
- ☆15Nov 20, 2025Updated 2 months ago
- Micro Services built on Spring Boot with Mongo DB for E-Commerce application.☆11Sep 4, 2024Updated last year
- ☆20May 19, 2024Updated last year
- ☆11Jun 24, 2024Updated last year
- Main Minsta Repo for new instances of Minsta☆10Aug 19, 2024Updated last year
- ☆10Feb 27, 2024Updated last year
- ☆16Jan 7, 2026Updated last month
- Potlock Core Contracts☆10May 6, 2025Updated 9 months ago
- WIP: code generation package in Go -- used by gnark, goff and gurvy☆14Jan 18, 2026Updated 3 weeks ago
- NEAR blockchain archive distributed using torrents☆11Feb 17, 2024Updated last year
- A Snap to track your Linea Voyage progress in MetaMask☆13Oct 28, 2025Updated 3 months ago
- BanklessDAO Constitution and Community Handbook☆12Mar 21, 2024Updated last year
- An Obsidian plugin for web3 composition☆14Oct 28, 2024Updated last year
- Self-hosted Linktree alternative to use with web4☆13Apr 17, 2023Updated 2 years ago
- CLI tool for interacting with the Puffer Protocol☆18Jan 8, 2026Updated last month
- ☆12May 16, 2024Updated last year
- Browser neural network based on handwritten numbers☆31Dec 23, 2024Updated last year
- SDK for Karma Grantee Accountability Protocol (GAP)☆11Updated this week
- Simple distributed search application using goroutines & channels☆12Jan 28, 2021Updated 5 years ago
- Security Token (WIP)☆11Oct 2, 2018Updated 7 years ago
- Microservices example that uses Node + Express with Docker support☆10Apr 12, 2016Updated 9 years ago
- Python binding to the NEAR Rust API crates.☆11Jul 9, 2023Updated 2 years ago
- Python Library to Generate Nakamoto Coefficient☆11Jul 9, 2019Updated 6 years ago
- The Antora UI project used by Starknet docs (docs.starknet.io).☆12Jul 6, 2025Updated 7 months ago
- ☆16Apr 24, 2024Updated last year
- Deploying Angular Apps using Docker☆11Apr 17, 2019Updated 6 years ago
- Get a feel for how the Linear Regression algorithm works☆11Jun 21, 2017Updated 8 years ago
- ☆14Jul 8, 2025Updated 7 months ago
- Thing what most of the developers just dream of☆18Aug 31, 2023Updated 2 years ago
- The purpose of this repo is to showcase deploying and testing various proxy patterns with forge☆13Jul 12, 2022Updated 3 years ago
- boilerplate for sending frame data to the "Frame" EAS schema for easier data tracking☆13Feb 8, 2024Updated 2 years ago
- Example tests for exploring upgradeable contracts with Foundry☆13Nov 4, 2022Updated 3 years ago