Skip to content
View ahmedtadde's full-sized avatar
  • Washington, D.C

Block or report ahmedtadde

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Dynolog is a telemetry daemon for performance monitoring and tracing. It exports metrics from different components in the system like the linux kernel, CPU, disks, Intel PT, GPUs etc. Dynolog also …

C++ 360 78 Updated Jan 16, 2026

Given a Buck2 built project and a set of changes (e.g. from source control) compute the targets that may have changed. Sometimes known as a target determinator, useful for optimizing a CI system.

Rust 47 6 Updated Jan 16, 2026

A Claude Skill to give your agent the ability to use a web browser

TypeScript 2,844 183 Updated Jan 5, 2026

Browser automation CLI for AI agents

TypeScript 6,949 324 Updated Jan 16, 2026

The Twizzler Operating System

Rust 107 28 Updated Jan 17, 2026

Bulk transcribe YouTube channels using local GPU or Modal cloud

Python 12 3 Updated Dec 26, 2025

AI-Assisted Verification of Data Structures

Rust 10 Updated Jan 16, 2026

OpenADR 3.0 VTN and VEN implementation in Rust

Rust 63 17 Updated Jan 16, 2026

Building a modern alternative to Salesforce, powered by the community.

TypeScript 38,907 4,959 Updated Jan 16, 2026

Personal CRM. Remember everything about your friends, family and business relationships.

PHP 24,089 2,411 Updated Nov 15, 2025

Implementation of RTPS Standard

C++ 1 Updated Jul 25, 2017

PX4 Autopilot Software

C++ 10,894 14,933 Updated Jan 16, 2026

A Rust crate to interact with OCI registries

Rust 145 67 Updated Jan 12, 2026

Boot and upgrade via container images

Rust 1,809 168 Updated Jan 16, 2026

Athena is a modern, practical language for proof engineering & natural deduction.

Standard ML 76 4 Updated Aug 2, 2025

A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performance analysis, and optimization techniques.

23 3 Updated Jan 3, 2026

Simple to use cross-platform BDD driver for black box testing

Ada 18 3 Updated Jan 5, 2026

The core components of the L4Re operating system.

C++ 99 24 Updated Jan 15, 2026

delegated, decentralized, capabilities based authorization token

Rust 1,081 30 Updated Oct 21, 2025

🦑 Distributed Systems Kernel written in rust

Rust 401 20 Updated Jan 13, 2026
Rust 62 7 Updated Sep 29, 2025

LLM port of : https://github.com/boonzy00/ringmpsc

C++ 1 Updated Dec 19, 2025

A high-performance, lock-free bounded MPSC channel in Zig — 968 M msg/s (16p) · 150 M msg/s batched SPSC · one-click reproducible.

Zig 18 2 Updated Nov 22, 2025

Lock-free MPSC channel in Zig achieving 50+ billion messages/second via ring-decomposed architecture

Zig 158 12 Updated Dec 31, 2025

A Dead Simple VPN.

C 5,302 405 Updated Dec 26, 2025

A JSON-Compatible Zero-Copy Serialization Format

C 738 28 Updated Jan 7, 2026

Clean minimalist implementations of popular competitive programming algorithms

C++ 223 29 Updated Nov 17, 2020

A hardware-aware guide to data structures for system software engineers.

1,237 91 Updated Dec 17, 2025

Personal AI Notebooks. Organize files & webpages and generate notes from them. Open source, local & open data, open model choice (incl. local).

TypeScript 3,071 220 Updated Jan 16, 2026

Production-ready KV-backed HNSW implementation in Rust using LMDB

Rust 68 10 Updated Jan 16, 2026
Next