B O G G E D
Repositories
Giulio2002/bend-build
Single-file guidelines for models building efficient, maintainable Bend software
Giulio2002/bend-sha256
SHA-256 in Bend with a machine-checked functional correctness proof against a separate FIPS 180-4 specification.
Giulio2002/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Giulio2002/bend-vscode
Bend 2 support for VS Code: syntax highlighting, autocomplete, compiler diagnostics, and file icons.
Giulio2002/bend-keccak
Pure stock-Bend Ethereum Keccak-256 with packed arrays, public sponge refinement proofs, and C/Lean benchmarks
Giulio2002/teku
🚀 Open-source Ethereum consensus client written in Java
Giulio2002/gevm
Blazingly fast EVM implementation written in Golang
Giulio2002/qemu-portable-ts
Giulio2002/nanocodex
Building blocks for frontier OpenAI agents in Rust. Nanocodex empowers you with Codex-level performance anywhere.
Giulio2002/verkleipfs
Verkle Tree stored on IPFS
Giulio2002/giulio2002.github.io
Giulio2002/gdbx
Libmdbx based database written in Go.
Giulio2002/Ethereum-Taxable-Token
Giulio2002/erigon
Giulio2002/gpt-ask
Giulio2002/bsol
A tool to bechmark soilidity smart contracts and snippets
Giulio2002/cohort-seven
EPF cohort 7 yay 🚀
Giulio2002/lsaie-ss26-gipfelsturm
The Gipfelsturm repo for the LSAIE class of Spring 2026
Giulio2002/64kb-bench
Giulio2002/pq-eth-precompiles
experimental implementation of selection Post-Quantuum precompiles
Giulio2002/zevmc
EVMC – Ethereum Client-VM Connector API
Giulio2002/pq-eth-demo
Post-Quantuum Ethereum toy.
Giulio2002/lodestar
🌟 Ethereum Consensus client for the Zig and TypeScript ecosystem
Giulio2002/lighthouse
Ethereum consensus client in Rust
Giulio2002/nethermind
A robust execution client for Ethereum node operators.
Giulio2002/EIPs
The Ethereum Improvement Proposal repository
Giulio2002/prysm
Go implementation of Ethereum proof of stake
Giulio2002/torrent
Full-featured BitTorrent client package and utilities
Giulio2002/uint256
Fixed size 256-bit math library