Full stack framework for building cross-platform mobile AI apps

Lean ethereum clients fuzzing under shadow framework

Go Humans! (formatters for units to human friendly sizes)

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

Cross-platform filesystem notifications for Go.

libp2p implementation in Go

errcheck checks that you checked errors.

Ethereum Proof-of-Stake Consensus Specifications

Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.

LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!

Your personal engine for running open source models locally. Use Go for hardware accelerated local inference with llama.cpp and whisper.cpp directly integrated into your Go applications. Kronk prov…

Lean Ethereum consensus client written in .NET

High-performance Rust toolkit for blockchain data verification unified Binary, Sparse, and Patricia Merkle trees with pluggable hash functions, stateless proof generation, and systematic benchmarking.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

a utility to quickly spin up a localnet of lean (multi-client) nodes

Go implementation of the Ethereum protocol

Ethereum Lean client in Zig (wip)

ream: an Ethereum Lean client written in Rust

Rust implementation of the current leanSig proposal.

Lean Ethereum protocol specifications and test vector generation framework.