A utility for running exhaustiveness checks on “sum types” in Go

In plain words

This tool helps Go developers verify that all possible cases of sum types are handled in their code. It performs exhaustiveness checks to catch missing branches during development. The utility is designed for programmers working with sum type patterns in Go who want to ensure complete code coverage and prevent logic errors from unhandled cases.

written from the facts on this page · September 2026

• 
  Gonzo – A Go-based TUI for log analysis (OpenTelemetry/OTLP support)2025 · github.com · ▲74

  We built Gonzo to make log analysis faster and friendlier in the terminal. Think of it like k9s for logs — a TUI that can ingest JSON, text, or OpenTelemetry (OTLP) logs, highlight and boil up patterns, and even run AI models locally or via API to summarize logs. We’re still iterating, so ideas and contributions are welcome!

• 
  A pure reference counting GC in Go2020 · github.com · ▲57

  Contribute to sendilkumarn/gopurerc development by creating an account on GitHub.

• 
  Error return traces for Go, inspired by Zig2023 · github.com · ▲133

  An alternative to stack traces for your Go errors. Contribute to bracesdev/errtrace development by creating an account on GitHub.

• 
  CodeQL-Like Analyzer for Go2020 · github.com · ▲39

  Define and run pattern-based custom linting rules. - quasilyte/go-ruleguard

• 
  I rendered the Go gopher using Go2015 · github.com · ▲287

  A path tracer written in Go. Contribute to fogleman/pt development by creating an account on GitHub.

• 
  Go-Bt: Minimalist Behavior Trees for GoApr 2026 · github.com · ▲62

  Hey HN, I just published v0.1.0 of go-bt and would love some feedback from the Go veterans here. Thanks in advance!

• 
  SimCity, but with Permits▲930

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 3d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 15d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 16d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 10d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 14d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 24d ago · space.bl2.net

• 
  Startup School▲1,010

  A free online program to teach you how to start a company

  Life & fun · 2017 · startupschool.org

• 
  Neuralink▲890

  Elon Musk's newest company, merging our brain with AI

  AI · 2017 · neuralink.com

• 
  Hardbound 3.0▲739

  Illustrated summaries of bestselling nonfiction books

  Life & fun · 2017 · apps.apple.com

• 
  Canny▲704

  The easiest way to collect & manage feedback

  Growth · 2017 · canny.io

• 
  Visual Biographies▲679

  Timelines of amazing lives for visual learners

  Work · 2017

• 
  Breaker▲676

  The social podcast app 🎧

  Life & fun · 2017 · player.fm