dgryski

dgryski's Stars

• httpie/cli

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

  Language:Python32.5k878623.7k

• dragonflydb/dragonfly

  A modern replacement for Redis and Memcached

  Language:C++24.3k163986877

• coding-horror/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/

  Language:C#10.8k160731.3k

• dgryski/go-perfbook

  Thoughts on Go performance optimization

  10.6k38612595

• authzed/spicedb

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

  Language:Go4.6k40442246

• tetratelabs/wazero

  wazero: the zero dependency WebAssembly runtime for Go developers

  Language:Go4.6k44329243

• google/highway

  Performance-portable, length-agnostic SIMD with runtime dispatch

  Language:C++3.7k44358298

• loov/lensm

  Go assembly and source viewer

  Language:Go3.4k2216122

• goccy/go-json

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

  Language:Go2.8k20220139

• microsoft/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.

  Language:Python2.5k36477282

• corazawaf/coraza

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

  Language:Go1.9k32317197

• symforce-org/symforce

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

  Language:C++1.4k42250144

• google/atheris

  Language:Python1.3k3954111

• dominikh/gotraceui

  Go execution trace frontend

  Language:Go1k1115028

• vmware/splinterdb

  High Performance Embedded Key-Value Store

  Language:C6662023956

• inkeliz/karmem

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

  Language:Go64555127

• pysmt/pysmt

  pySMT: A library for SMT formulae manipulation and solving

  Language:Python55018307125

• llsoftsec/llsoftsecbook

  Low-Level Software Security for Compiler Developers

  Language:TeX486208249

• go-jose/go-jose

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

  Language:Go27873863

• NASA-SW-VnV/fret

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

  Language:JavaScript266203045

• aws/mit-0

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

  26411021

• facebook/dns

  Collection of Meta's DNS Libraries

  Language:Go25818819

• polyfloyd/go-errorlint

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

  Language:Go23133517

• viperproject/gobra

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

  Language:Scala98830826

• fastly/compute-sdk-go

  Go SDK for building Fastly Compute applications

  Language:Go7520219

• blech-lang/blech

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

  Language:F#645135

• google/go-cpy

  Language:Go42535

• comby-tools/comby-decomposer

  Decompose source code into templates and fragments for any language.

  Language:JavaScript20120

• dgryski/go-anubis

  anubis block cipher

  Language:Go6302

• dgryski/go-vmops

  Interpreter and tooling for libfsm vmops output

  Language:Go320