Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

Fast concurrent hashmap for rapidly changing keys

B-tree based collection types for Go

A subset of Go that translates to C

The FlightRecorder receiver collects Go Flight Recorder traces and transforms them into OTel Profiles

An OIDC provider that logs in with ATProto

Wrap Go errors with callsite info.

10x faster dynamic Protobuf parsing in Go that’s even 3x faster than generated code.

Go package implementing threadsafe, high-throughput Bloom filters based on BitSets powered by Atomic Int64s

autonomous software apprentice

Simulation testing for Go

A from-scratch atproto PDS implementation in Python

Tool for plotting Go benchmark results

A Go API for perf_event_open

Go port of Google's Swiss Table hash table

Runtime for Go + Godot

Static analysis tool to detect potential nil panics in Go code

LiveView for Go

wazero: the zero dependency WebAssembly runtime for Go developers

GGPO port into Go

libbpfgo port of bcc/libbpf-tools

high performance key-value database written in Go. Based on Google LevelDB api.

The Full-Stack Web Framework for Go

This utility verifies all commands used by a shell script against an allow list

Selected Go-internal packages factored out from the standard library

A Go port of the lemon parser generator

Define and run pattern-based custom linting rules.