dgryski

cli

🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.

dragonfly

A modern replacement for Redis and Memcached

basic-computer-games

An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common MEMORY SAFE, SCRIPTING programming languages. See https://coding-horror.github.io/basic-computer-games/

go-perfbook

Thoughts on Go performance optimization

wazero

wazero: the zero dependency WebAssembly runtime for Go developers

spicedb

Open Source, Google Zanzibar-inspired permissions database to enable fine-grained authorization for customer applications

highway

Performance-portable, length-agnostic SIMD with runtime dispatch

lensm

Go assembly and source viewer

go-json

Fast JSON encoder/decoder compatible with encoding/json for Go

restler-fuzzer

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

coraza

OWASP Coraza WAF is a golang modsecurity compatible web application firewall library

symforce

Fast symbolic computation, code generation, and nonlinear optimization for robotics

atheris

gotraceui

Go execution trace frontend

splinterdb

High Performance Embedded Key-Value Store

karmem

Karmem is a fast binary serialization format, faster than Google Flatbuffers and optimized for TinyGo and WASM.

pysmt

pySMT: A library for SMT formulae manipulation and solving

llsoftsecbook

Low-Level Software Security for Compiler Developers

go-jose

An implementation of JOSE standards (JWE, JWS, JWT) in Go

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

mit-0

The "MIT No Attribution" (MIT-0) License

dns

Collection of Meta's DNS Libraries

go-errorlint

A source code linter that can be used to find code that will cause problems with Go's error wrapping scheme

gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

compute-sdk-go

Go SDK for building Fastly Compute applications

blech

Blech is a language for developing reactive, real-time critical embedded software.

go-cpy

comby-decomposer

Decompose source code into templates and fragments for any language.

go-anubis

anubis block cipher

go-vmops

Interpreter and tooling for libfsm vmops output