Highlights
- Pro
Stars
Deterministic execution fabric — Nix + Firecracker microVMs + Rust
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
tmux integration with Vscode terminal
Cross-platform file system notifications for Go.
testcase is an opinionated testing framework to support test driven design.
A fast linearizability checker written in Go 🔎
Rapid is a modern Go property-based testing library
Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.
Open Source Continuous File Synchronization
An experimental platform for chunk-level data deduplication. Key words: DDFS, Sparse Index, Extreme Binning, SiLo, Sample Index, BLC; CBR, CFL, CAP, HAR; ASM, OPT; GC, Cumulus
Mirror of https://gitlab.redox-os.org/redox-os/redox
pktz — eBPF-powered network traffic monitor — per process, per connection, live
Get up and running with Kimi-K2.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.
A high-throughput and memory-efficient inference and serving engine for LLMs
SGLang is a high-performance serving framework for large language models and multimodal models.
Completion-based I/O for Rust. No runtime, no hidden tasks.
Conductor is an event driven agentic workflow engine providing durable and highly resilient execution engine for applications and AI Agents
Capability-based sandboxes with fine-grained policies The next-generation isolation primitive — brokering access directly within the agent's operating context, with zero setup and zero latency
Complete implementation of JWx (Javascript Object Signing and Encryption/JOSE) technologies for Go. #golang #jwt #jws #jwk #jwe
PgQue – Zero-bloat Postgres queue built on top of on battle-proven Skype's PgQ. One SQL file to install, pg_cron to tick.
Fast, Simple and a cost effective tool to replicate data from Postgres to Data Warehouses, Queues and Storage
Fast container image distribution plugin with lazy pulling
Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox
Simple browser-based visualizer for Bluesky ATproto data