Stars
Mooncake is the serving platform for Kimi, a leading LLM service provided by Moonshot AI.
A multi-agent system to clone websites via a trial-and-error feedback loop.
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…
A distributed approximate nearest neighborhood search (ANN) library which provides a high quality vector index build, search and distributed online serving toolkits for large scale vector search sc…
Graph-structured Indices for Scalable, Fast, Fresh and Filtered Approximate Nearest Neighbor Search
A feature complete and high performance multi-group Raft library in Go.
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
System performance analysis and characterization tool
Storage systems with verified correctness properties
A fast linearizability checker written in Go 🔎
This is a directory navigation plugin for zsh using fzf.
Inspektor Gadget is a set of tools and framework for data collection and system inspection on Kubernetes clusters and Linux hosts using eBPF
Programming framework for writing and deploying cloud applications.
traffic control in pure go - it allows to read and alter queues, filters and classes
A repository to teach the fundamentals of CRDTs.
The Score Specification provides a developer-centric and platform-agnostic Workload specification to improve developer productivity and experience. It eliminates configuration inconsistencies betwe…
🔥 horizontally-scalable, highly-available, multi-tenant continuous profiling aggregation system