Mitchell Hashimoto
Mitchell Hashimoto
go-sat
SAT solver written in Go (golang).
go-z3
Go (golang) bindings to the Z3 SMT Solver
gon
Sign, notarize, and package macOS CLI tools and applications written in any language. Available as both a CLI and a Go library.
protoc-gen-go-json
Protobuf compiler plugin to generate Go JSON Marshal/Unmarshal implementations for messages using jsonpb.
tree-sitter-hcl
A tree-sitter grammar for HCL (HashiCorp Configuration Language), used by projects such as Terraform.
go-server-timing
Go (golang) library for creating and consuming HTTP Server-Timing headers
go-spdx
Golang library for listing and looking up licenses using SPDX IDs.
go-testing-interface
Go (golang) library to expose *testing.T as an interface.