Stars
picolibc - a C library designed for embedded 32- and 64- bit systems.
An implementation of JOSE standards (JWE, JWS, JWT) in Go
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
Blech is a language for developing reactive, real-time critical embedded software.
Open Source, Google Zanzibar-inspired database for scalably storing and querying fine-grained authorization data
Fast JSON encoder/decoder compatible with encoding/json for Go
🥧 HTTPie CLI — modern, user-friendly command-line HTTP client for the API era. JSON support, colors, sessions, downloads, plugins & more.
OWASP Coraza WAF is a golang modsecurity compatible web application firewall library
Karmem is a fast binary serialization format, faster than Google Flatbuffers and optimized for TinyGo and WASM.
Low-Level Software Security for Compiler Developers
Decompose source code into templates and fragments for any language.
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.
Go SDK for building Fastly Compute applications
Performance-portable, length-agnostic SIMD with runtime dispatch
A modern replacement for Redis and Memcached
Fast symbolic computation, code generation, and nonlinear optimization for robotics
pySMT: A library for SMT formulae manipulation and solving
wazero: the zero dependency WebAssembly runtime for Go developers
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/ba…
A framework for the elicitation, specification, formalization and understanding of requirements.