Robot communication and coordination network.
☆70Jan 6, 2026Updated 2 months ago
Alternatives and similar repositories for hyveos
Users that are interested in hyveos are comparing it to the libraries listed below
Sorting:
- Ethereum block hallucinator☆16Oct 1, 2025Updated 5 months ago
- This tool uses Ethereum's peer-discovery protocol to measure the size of the Ethereum network (testnets included)☆16Dec 15, 2022Updated 3 years ago
- An Ethereum validator crawler☆16Jan 14, 2026Updated 2 months ago
- Ethereum Node Record (ENR) rust implementation☆14Aug 4, 2022Updated 3 years ago
- A Go implementation of the libp2p Kademlia DHT specification☆14Apr 22, 2025Updated 10 months ago
- A Gossipsub listener and tracer.☆43Feb 13, 2026Updated last month
- Python smtpd inspired by qpsmtpd, built using gevent.☆18May 16, 2012Updated 13 years ago
- 😈 Eth2 Network Agent 😈☆31Oct 30, 2020Updated 5 years ago
- ZTYP: typing for ZRNT - SSZ, Merkle partials, full caching and immutable typed state.☆18Nov 6, 2023Updated 2 years ago
- ☆10Jul 18, 2022Updated 3 years ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆11Sep 28, 2025Updated 5 months ago
- Dummy package and node for ROS2 GDB debugging☆10Sep 3, 2020Updated 5 years ago
- An Ethereum beacon data and execution trace explorer☆17Dec 1, 2025Updated 3 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last month
- Execution layer multiplexer☆56Apr 30, 2025Updated 10 months ago
- Armiarma is a Libp2p open-network crawler with a current focus on Ethereum's CL network☆49Jan 18, 2026Updated 2 months ago
- A web application that uses window.ai to run AI directly in your browser.☆12Jul 10, 2024Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- A Rust program for finding (salt, nonce)-pairs that create gas-efficient Ethereum addresses via CREATE3.☆19May 24, 2025Updated 9 months ago
- Generic Go Kademlia implementation☆18Feb 12, 2026Updated last month
- {{{ rem = reth + malachite }}} {{{ proof of concept }}}☆20Jan 5, 2025Updated last year
- Herodotus Data Processor using SP1 as backend☆17Jan 27, 2026Updated last month
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- tq is a command-line TOML processor.☆12Dec 28, 2015Updated 10 years ago
- 2D position, orientation, and transform datatypes that support conversion to and from the tf2 3D datatypes☆10Mar 9, 2026Updated last week
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Dec 5, 2024Updated last year
- Typed mutable SSZ views over cached and immutable binary merkle trees☆29Jul 17, 2024Updated last year
- My resume (or yours) as a TUI application☆38Aug 29, 2025Updated 6 months ago
- Keep Ferris alive by contributing to a git repo☆36Feb 9, 2026Updated last month
- Mutation testing in ruby or "Keep calm and kill mutants"☆10Oct 18, 2016Updated 9 years ago
- Parser and serializer for the Turtle format☆11Jul 4, 2023Updated 2 years ago
- SolverForge is a constraint programming framework and solver written in Rust. It allows you to solve any planning problem, blazing fast!☆38Updated this week
- CLI with a collection of tools for digging around IPFS nodes☆29Feb 22, 2026Updated 3 weeks ago
- Command line tools for mxroute.com mail hosting☆11Jan 9, 2025Updated last year
- Interact with Eth2 network components☆58Jan 16, 2021Updated 5 years ago
- This repo is for 2D and 3D positioning system based on DWM3000 and various version of STM32 Nucleo: G431KB, L432KC, F303K8. This is proto…☆12Sep 25, 2023Updated 2 years ago