Execution-aware program reduction for WebAssembly via record and replay (ASE 2025)

A Copilot-CLI Plugin for F* and Related Tools

A programming language and toolchain for the future of Agentic Coding

Anthropic's original performance take-home, now open for you to try!

cache_ext is a framework to customize Linux page cache eviction policies using BPF. Appeared in SOSP 2025.

A tool to help programmers debug and analyze Linux Kernel BPF verification failures.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Write eBPF programs in Pure Python

Code for Merlin: multi-tier optimization of eBPF code for performance and compactness

This is a list of organizations that pay remote workers equally regardless of their location

Software only hypervisor exploit for Xbox 360

C++ ML Intro

A GameBoy emulator in C++

Ignite a world of endless possibilities

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

Tensors, for human consumption

Implementing strict three point perspective is ridiculous. You'll never need it. Let's do it anyway.

An Open Source CTF hosting platform

starting

Nmap - the Network Mapper. Github mirror of official SVN repository.

Nmap Project's Windows packet capture and transmission library

Top INST token holders.

Master programming by recreating your favorite technologies from scratch.

ScummVM main repository

CTF Archives: Collection of CTF Challenges.

coala provides a unified command-line interface for linting and fixing all your code, regardless of the programming languages you use.

Doorlock that can be locked or unlocked through your smartphone

The solutions portal of IITR

A collection of resources and reading material that we recommend