Landing page for Software for Open Networking in the Cloud (SONiC) - https://sonic-net.github.io/SONiC/

Systems language with linear types and capability-based security.

A hyper-relational knowledge base with content-addressable storage, built on Prolog, SQLite, and C.

Mellanox Steering Dump Tool for SWS and HWS acceleration

Data Plane Development Kit

Slab allocator for Rust

A simple bitset container for Rust

Self-hosted AI workspace.

Application level tracing for Rust.

Compile time static maps for Rust

A fast, non-secure, hashing algorithm derived from an internal hasher in FireFox.

Techniques and numbers for estimating system's performance from first-principles

Implementation of three-phase commit for CS 5414 at Cornell

a project about shell species classification

Collection of Python Script to Plot Data

Headless CLI client for stateful Agent Client Protocol (ACP) sessions

Mobile client for Codex and Claude — control coding agents from your phone via WebSocket bridge

My personal site for blogging random stuff

Chrome DevTools for coding agents

The agent that grows with you

Cursor Community in Saudi Arabia

Finding bugs in P4 compilers using translation validation.

Resume builder for academics and engineers

Crazyflie drones trajectory coordination algorithms for scientific project in École Polytechnique