Toy BPF Verifier in Lean 4an idea by shunghsiyu Description |
Create a distributed key-value storea project by ptashima DescriptionCreate a distributed key-value store using the Raft protocol. |
Exploration and PoC of MCP (Model Context Protocol) with Playwrightan idea by abraham.arias Description |
SPDK RAID5F Under the Hooda project by chinyahuang Description |
LLM-based CIFS tunera project by hcarvalho DescriptionA tool that collects detailed system, network, and CIFS-related metrics, uses an LLM to generate clear technical summaries of the system’s current state and workload behavior, and then provides validated, safe tuning recommendations based on a predefined schema of supported parameters. |
Enable more features in mcp-server-uyunia project by j_renner Description |
eBPF resource isolation using Tetragona project by sawang Description |
Bootstrap a low-level debugging laba project by mschreiner Description |
Rancher Cluster Lifecycle Visualizeran idea by jferraz Description |
Investigate Improvements to patchtoolsa project by lee_duncan Description |
investigate using encrypted at rest remote storage with appsan idea by jzerebecki Description |