Bear is a tool that generates a compilation database for clang tooling.

🎁A convenient glibc binary and debug file downloader and source code auto builder

Build a database of libc offsets to simplify exploitation

The Reliable USB Formatting Utility

Zig port of x64 MikanOS: an experimental, educational, and toy OS.

The math library of Lean 4

Lean 4 programming language and theorem prover

The Lean version manager

A library for patching, replacing and decorating .NET and Mono methods during runtime

A collaborative bibliography of work related to the theory and practice of computational effects

The world's most hated IT stickers

Nix, the purely functional package manager

Take a break while compiling.

An extremely fast Python linter and code formatter, written in Rust.

The uncompromising Python code formatter

Verilator open-source SystemVerilog simulator and lint system

Playing Pokemon Red with Reinforcement Learning

Rust library that's all about cooking up terminal user interfaces (TUIs) 👨‍🍳🐀

Keystone Enclave (QEMU + HiFive Unleashed)

Mold: A Modern Linker 🦠

pwninit - automate starting binary exploit challenges

Source code of Ferrocene, safety-critical Rust toolchain

♞ lichess.org: the forever free, adless and open source chess server ♞

a Hassle-Free Python Experience

Scheme interpreter written in JavaScript

WinDirStat is a disk usage statistics viewer and cleanup tool for various versions of Microsoft Windows.

Exploit Development and Reverse Engineering with GDB Made Easy

VNC client web application

Ultra-fast and memory-efficient (meta-)genome assembler

A new markup-based typesetting system that is powerful and easy to learn.