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