Consensys / distributed-validator-formal-specs-and-verificationView external linksLinks
ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs
☆16Jun 24, 2024Updated last year
Alternatives and similar repositories for distributed-validator-formal-specs-and-verification
Users that are interested in distributed-validator-formal-specs-and-verification are comparing it to the libraries listed below
Sorting:
- Ethereum Distributed Validator Specifications☆87Oct 13, 2022Updated 3 years ago
- Ethers-rs CCIP-Read Middleware☆23Jan 14, 2024Updated 2 years ago
- ☆23Jul 30, 2024Updated last year
- Data sets and ML models versioning example from DVC get started☆10Jun 4, 2024Updated last year
- DOS Program Development☆12Nov 9, 2022Updated 3 years ago
- User-friendly viewer for Parquet files☆10Jan 10, 2026Updated last month
- ☆18Oct 23, 2025Updated 3 months ago
- fine-tuning tutorial☆17Dec 13, 2025Updated 2 months ago
- A demo for a dApp on Walrus Sites, with minting and per-NFT sites.☆41Jun 5, 2025Updated 8 months ago
- ☆90Nov 16, 2021Updated 4 years ago
- Redis distributed lock implementation for Python based on Pub/Sub messaging☆11Nov 15, 2025Updated 3 months ago
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆11May 28, 2024Updated last year
- ☆13Updated this week
- ☆20Dec 4, 2025Updated 2 months ago
- Claude Code configs for the expert Solana builder. CLAUDE.md, agents, commands, hooks, rules, skills and settings across Web, Anchor, Pin…☆26Jan 17, 2026Updated 3 weeks ago
- The AlgoHUB pyteal course☆11Aug 25, 2023Updated 2 years ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Nov 4, 2023Updated 2 years ago
- ☆11Dec 6, 2023Updated 2 years ago
- LightGBM for handling label-imbalanced data with focal and weighted loss functions in binary and multiclass classification☆21Jan 29, 2026Updated 2 weeks ago
- ☆14Dec 12, 2022Updated 3 years ago
- End to End dCommerce experience built using the Boson Protocol Core Components SDK☆12Updated this week
- Example function showing how to pin a file to Pinata from a JavaScript client☆39Jun 28, 2021Updated 4 years ago
- Creating an NFT collection on Solana!☆14Nov 8, 2024Updated last year
- ☆18Jul 26, 2022Updated 3 years ago
- ☆10Jan 9, 2024Updated 2 years ago
- Smooth scrolling and zooming extension for Visual Studio☆10Updated this week
- Schwab MCP server that enables AI assistants like Claude to retrieve and interact with your Schwab accounts and Schwab market data.☆22Jun 2, 2025Updated 8 months ago
- Sample code for Raspberry Pi and Pimoroni Enviro pHat, Automation pHat and Automation Hat☆10Jun 24, 2021Updated 4 years ago
- The official NodeJS driver for the Cyton board over Serial.☆16Feb 18, 2019Updated 6 years ago
- ☆15Nov 26, 2024Updated last year
- ☆24Updated this week
- SQL in 10 minutes 评注笔记☆12Dec 6, 2019Updated 6 years ago
- Shared functionalities for multiple infrastructure network optimization packages☆42Aug 28, 2023Updated 2 years ago
- Collection of shortest path algorithms (Dijkstra, A*, Bellman-Ford, All pair SP, DFS, BFS, and own) that converge to the most cost-effecti…☆10May 5, 2019Updated 6 years ago
- Builds and tags the minio docker image every night☆16Oct 22, 2025Updated 3 months ago
- msx game development library ubox example☆11Apr 26, 2023Updated 2 years ago
- revm (Rust Ethereum VM) translation for Era / zkEVM☆13Jan 20, 2025Updated last year
- EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and…☆13Nov 12, 2025Updated 3 months ago
- Finally... A way to deliver Shakespearian insults via REST API.☆10Jan 5, 2020Updated 6 years ago