251

system-design-primer

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

aria2

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

textual

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

delta

A syntax-highlighting pager for git, diff, grep, and blame output

FizzBuzzEnterpriseEdition

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

zoxide

A smarter cd command. Supports all major shells.

manim

A community-maintained Python framework for creating mathematical animations.

mold

Mold: A Modern Linker 🦠

LaTeX-Workshop

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

bottom

Yet another cross-platform graphical process/system monitor.

chibicc

A small C compiler

FTXUI

:computer: C++ Functional Terminal User Interface. :heart:

reptyr

Reparent a running program to a new terminal

flamegraph

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

vale

:pencil: A markup-aware linter for prose built with speed and extensibility in mind.

uftrace

Function graph tracer for C/C++/Rust/Python

latexcv

:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!

dosbox-x

DOSBox-X fork of the DOSBox project

klee

KLEE Symbolic Execution Engine

MicrocodeDecryptor

minirust

A precise specification for "Rust lite / MIR plus"

portable-snippets

Collection of miscellaneous portable C snippets.

maat

Open-source symbolic execution framework: https://maat.re

ZzFX

A Tiny JavaScript Sound FX System

haybale

Symbolic execution of LLVM IR with an engine written in Rust

llsoftsecbook

Low-Level Software Security for Compiler Developers

history-search-multi-word

bounded-integer

C++ library aiming to replace all built-in integers

xorpd-solutions

[SPOILER ALERT] My attempt at tackling the x86_64 asm riddles in xorpd's xchg rax,rax book. Pull requests welcome.

metrinome

Create CFGs and compute complexity metrics for Python, C++, and Java code.