Generic DTLS wrapper for UDP sessions

Go to TypeScript transpiler

(READ ONLY MIRROR) ProB Parser library

A verifier for automated and interactive proofs about transition systems.

Verification tool for distributed protocols based on inductive proof decomposition.

quic-go but with optimized unreliable datagram support, GRO/GSO (Linux), USO/URO (Windows), sendmsg_x batching (macOS), fewer allocations, support for Tailscale and other 1280 MTU tunnels, and much…

The fastest pure Go in-memory Redis alternative. 6.87M+ ops/s peak throughput, 119µs latency, Multi-Reactor engine, embedded Cyberpunk Web Studio GUI, native HNSW AI vector search, Redis Streams, c…

Go + Own = Gown. Borrowing ideas from Rust/Pony, we implement ownership of pointers in Golang (Go) in a source pre-processor. Gown can eliminate data-races statically at compile time.

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

Django-like Web Framework Written in Go and HTMX

Modern, composable authentication for Go

YogaDB: a flexible-address-space ordered key-value store in pure Go/Golang. Key idea: With minor modifications, B-trees can beat LSM trees on write throughput and latency too. (And B-trees have alw…

Born is a modern ML framework for Go — train and deploy models as single binaries. Pure Go, zero CGO, GPU accelerated.

Go library for causal inference with original SCIC™ algorithm for directional causality analysis. Includes SURD (information-theoretic) and VarSelect (LASSO-based) methods. High-performance, produc…

⚡ Parallel LASSO Regression in Go | Efficient feature selection with L1 regularization | Thread-safe implementation | MIT Licensed

⚡ Parallel LASSO Regression in Go | Efficient feature selection with L1 regularization | Thread-safe implementation | MIT Licensed

Pont is a superset of Golang with friendlier channel ops, sticky sends, and support for Deterministic Simulation Testing (DST).

Meds — Hybrid firewall using public blocklists

The financial transactions database designed for mission critical safety and performance.

a simulated network for chaos testing with testing/synctest (or not). gosimnet implements net.Conn

A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University

2 libraries + utilities: readline style command history and terminal drawing/images, fps calculator

Not built on Jupyter notebooks, but conceptually similar, an rbook is a web server for R sessions. rbook creates a lab book like archival record of the session. An rbook shows code and output plot…

Self-contained Machine Learning and Natural Language Processing library in Go

OpenSpiel is a collection of environments and algorithms for research in general reinforcement learning and search/planning in games.

Productivity application for audio professionals 🌱

Fully featured, spec-compliant HTML5 server-sent events library

A scalable overlay networking tool with a focus on performance, simplicity and security