Goose converts a small subset of Go to Coq
MIT License
'go test' runner with output optimized for humans, JUnit XML for CI integration, and a summary of...
Go and GitHub Actions Practice Repo
The Go test helper for minimalists
A database migration tool. Supports SQL migrations and Go functions.
An opinionated guideline to structure & develop a Go web application/service
An alternative implementation of Golang specs, written in Rust for embedding or wrapping.
Statically typed functional programming language implementation with Go and LLVM
Behaviour Driven Development tests generator for Golang
Golden file testing for Go
[mirror] Go Tools
A BASIC interpreter written in golang.
Go(lang) examples - (explain the basics of #golang)
Cucumber for golang
Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros
A stricter gofmt