A tool for design-by-contract in Go

symbolic reachability checker

repo for sat solvers

Package snd provides methods and types for sound processing and synthesis.

Making it easy to migrate issues between repos.

Parks-McClellan (aka Remez) algorithm

Command deadleaves finds and prints the import paths of unused Go packages.

Battle tested aiff decoder/encoder

Generic tools to deal with audio content

Battle tested Wav decoder/encoder

Different kind of generators using the go-audio packages

Music and music theory related Go packages

FLAC audio player using zikichombo.org/sio for playback.

collaborations using imports external to zikichombo.org

core sound data structures and interfaces

Package flac provides access to FLAC (Free Lossless Audio Codec) streams.

Goroutine scheduling latency profiling

Mini audio library

controllers and meters

Plugin interoperability

DSP and filtering library

Sound Codecs

sound I/O

A little package that brings sound to any Go application. Suitable for playback and audio-processing.

A fast SAT solver