Toy BPF Verifier in Lean 4

an idea by shunghsiyu

Description

Updated 11 days ago. No love. 1 follower. Has no hacker: grab it!

Create a distributed key-value store

a project by ptashima

Description

Create a distributed key-value store using the Raft protocol.

Updated 12 days ago. 1 hackers ♥️. 1 follower.

Exploration and PoC of MCP (Model Context Protocol) with Playwright

an idea by abraham.arias

Description

Updated 14 days ago. 1 hackers ♥️. 1 follower. Has no hacker: grab it!

SPDK RAID5F Under the Hood

a project by chinyahuang

Description

Updated 13 days ago. No love. 1 follower.

LLM-based CIFS tuner

a project by hcarvalho

Description

A 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.

Updated 13 days ago. No love. 1 follower.

Enable more features in mcp-server-uyuni

a project by j_renner

Description

Updated 10 days ago. No love. 1 follower.

eBPF resource isolation using Tetragon

a project by sawang

Description

Updated 4 days ago. No love. 1 follower.

Bootstrap a low-level debugging lab

a project by mschreiner

Description

Updated 5 days ago. No love. 1 follower.

Rancher Cluster Lifecycle Visualizer

an idea by jferraz

Description

Updated 14 days ago. 1 hackers ♥️. 1 follower. Has no hacker: grab it!

Investigate Improvements to patchtools

a project by lee_duncan

Description

Updated 5 days ago. 1 hackers ♥️. 1 follower.

investigate using encrypted at rest remote storage with apps

an idea by jzerebecki

Description

Updated 10 days ago. No love. 1 follower. Has no hacker: grab it!