Tools
GoForge
Polylith-style workspaces for Go
Cupel
English specs to Go tests, via Claude
Refine
Richer contracts. Ordinary schemas.
Propkin
Property testing that stays executable Gherkin
Rubric
bat in Go — a cat clone with wings
blake3sum
BLAKE3 hashing — library + b3sum CLI
Rune
A content-addressed, dependently typed language
Go+
Richer abstractions, portable Go
lsf
lf-style file manager with highlighted previews
Anvil
Meeting times across all your calendars
etch & scry
Hex editor + viewer for the terminal
tbd
Trunk-based development over git
assayxport
A codebase's API composition as deterministic JSON
Agile Frontier
Dependency-aware delivery planning in your browser
resty
Replayability-safe typed HTTP client
participle
Grammar-indexed parser construction
GoSMT
Native typed SMT solving in Go+
scribe
Layout lines between the pixels, not on them
Quicken
One Cadence application, every interface
cadence
One Go+ program, multiple interface runtimes
Eclaire
One semantic layout across native targets
Quicken Web
Full-stack Go+ browser programs
Quicken TUI
Cadence applications in the terminal
Quicken Desktop
Cadence applications on Windows, macOS, and Linux
Quicken Mobile
Cadence applications on iOS and Android
Quicken Build
One build contract for every Quicken target
Lo (gplodash)
Lodash-style Go collections, at 100% parity
Validator (gpvalidator)
Struct/field validation that retains evidence
Pydantic (gpydantic)
Pydantic's validation core, on typed refinements
Brigadier (gbrigadier)
The command tree, as the GADT it is
esbuild (gesbuild)
esbuild in Go+ — AST reshaped into real enums
jsoup (gpsoup)
HTML parsing — the DOM as a GADT
GJSON (gpgjson)
Compiled JSON paths with typed results
Viper (gpviper)
Immutable typed configuration with provenance
Chi (gpchi)
Immutable, typed HTTP routing
direnv (gpdirenv)
Per-directory environments, typed at the core
Task (gptask)
The task runner, rewritten in Go+
yq (gpyq)
The YAML/JSON/XML processor, rewritten in Go+
sqlc (gpsqlc)
SQL to type-safe code, rewritten in Go+
GoReleaser (gpreleaser)
The release pipeline, rewritten in Go+
Palettegen
A complete UI color palette from one color
All tools →
Tools
GoForge
Polylith-style workspaces for Go
Cupel
English specs to Go tests, via Claude
Refine
Richer contracts. Ordinary schemas.
Propkin
Property testing that stays executable Gherkin
Rubric
bat in Go — a cat clone with wings
blake3sum
BLAKE3 hashing — library + b3sum CLI
Rune
A content-addressed, dependently typed language
Go+
Richer abstractions, portable Go
lsf
lf-style file manager with highlighted previews
Anvil
Meeting times across all your calendars
etch & scry
Hex editor + viewer for the terminal
tbd
Trunk-based development over git
assayxport
A codebase's API composition as deterministic JSON
Agile Frontier
Dependency-aware delivery planning in your browser
resty
Replayability-safe typed HTTP client
participle
Grammar-indexed parser construction
GoSMT
Native typed SMT solving in Go+
scribe
Layout lines between the pixels, not on them
Quicken
One Cadence application, every interface
cadence
One Go+ program, multiple interface runtimes
Eclaire
One semantic layout across native targets
Quicken Web
Full-stack Go+ browser programs
Quicken TUI
Cadence applications in the terminal
Quicken Desktop
Cadence applications on Windows, macOS, and Linux
Quicken Mobile
Cadence applications on iOS and Android
Quicken Build
One build contract for every Quicken target
Lo (gplodash)
Lodash-style Go collections, at 100% parity
Validator (gpvalidator)
Struct/field validation that retains evidence
Pydantic (gpydantic)
Pydantic's validation core, on typed refinements
Brigadier (gbrigadier)
The command tree, as the GADT it is
esbuild (gesbuild)
esbuild in Go+ — AST reshaped into real enums
jsoup (gpsoup)
HTML parsing — the DOM as a GADT
GJSON (gpgjson)
Compiled JSON paths with typed results
Viper (gpviper)
Immutable typed configuration with provenance
Chi (gpchi)
Immutable, typed HTTP routing
direnv (gpdirenv)
Per-directory environments, typed at the core
Task (gptask)
The task runner, rewritten in Go+
yq (gpyq)
The YAML/JSON/XML processor, rewritten in Go+
sqlc (gpsqlc)
SQL to type-safe code, rewritten in Go+
GoReleaser (gpreleaser)
The release pipeline, rewritten in Go+
Palettegen
A complete UI color palette from one color
All tools →
Documentation
Tags