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☆13Nov 9, 2022Updated 3 years ago
- fine-tuning tutorial☆18Feb 20, 2026Updated 2 weeks ago
- User-friendly viewer for Parquet files☆10Jan 10, 2026Updated last month
- A demo for a dApp on Walrus Sites, with minting and per-NFT sites.☆41Jun 5, 2025Updated 9 months ago
- ☆90Nov 16, 2021Updated 4 years ago
- SQL in 10 minutes 评注笔记☆12Dec 6, 2019Updated 6 years ago
- ☆20Oct 23, 2025Updated 4 months ago
- The AlgoHUB pyteal course☆11Aug 25, 2023Updated 2 years ago
- ☆14Dec 12, 2022Updated 3 years ago
- ☆11Dec 6, 2023Updated 2 years ago
- Smooth scrolling and zooming extension for Visual Studio☆11Updated this week
- Sample code for Raspberry Pi and Pimoroni Enviro pHat, Automation pHat and Automation Hat☆10Jun 24, 2021Updated 4 years ago
- LightGBM for handling label-imbalanced data with focal and weighted loss functions in binary and multiclass classification☆21Jan 29, 2026Updated last month
- ☆19Dec 4, 2025Updated 3 months ago
- End to End dCommerce experience built using the Boson Protocol Core Components SDK☆12Feb 18, 2026Updated 2 weeks ago
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Nov 4, 2023Updated 2 years ago
- Redis distributed lock implementation for Python based on Pub/Sub messaging☆11Feb 14, 2026Updated 3 weeks ago
- Creating an NFT collection on Solana!☆14Nov 8, 2024Updated last year
- ☆15Nov 26, 2024Updated last year
- ☆13Feb 12, 2026Updated 3 weeks ago
- ☆18Jul 26, 2022Updated 3 years ago
- Case study using dotfurther's Open Discover Platform with the RavenDB document store to rapidly create a full-text search/eDiscovery/info…☆12May 28, 2024Updated last year
- Example function showing how to pin a file to Pinata from a JavaScript client☆39Jun 28, 2021Updated 4 years ago
- ☆10Jan 9, 2024Updated 2 years ago
- The official NodeJS driver for the Cyton board over Serial.☆16Feb 18, 2019Updated 7 years ago
- Shared functionalities for multiple infrastructure network optimization packages☆42Aug 28, 2023Updated 2 years ago
- Git plugin for Commit Driven Development☆10Dec 20, 2019Updated 6 years ago
- Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!☆10Aug 29, 2018Updated 7 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
- Mirror of Proteus☆12Nov 18, 2022Updated 3 years ago
- Data partitioning toolbox for tomographic reconstruction☆14Nov 3, 2019Updated 6 years ago
- This project auto-instruments containerized workloads in Kubernetes with New Relic agents.☆12Updated this week
- ☆11Feb 28, 2020Updated 6 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Schwab MCP server that enables AI assistants like Claude to retrieve and interact with your Schwab accounts and Schwab market data.☆24Jun 2, 2025Updated 9 months ago