deadlockempire / deadlockempire.github.ioView external linksLinks
The Deadlock Empire: Slay dragons, learn concurrency!
☆1,040May 9, 2025Updated 9 months ago
Alternatives and similar repositories for deadlockempire.github.io
Users that are interested in deadlockempire.github.io are comparing it to the libraries listed below
Sorting:
- A web interface for apropos☆20Apr 17, 2019Updated 6 years ago
- The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.☆47,584Apr 18, 2024Updated last year
- build-once run-anywhere c library☆20,537Jan 25, 2026Updated 3 weeks ago
- A book-in-progress about the Linux kernel and its insides.☆32,164Updated this week
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- ShellCheck, a static analysis tool for shell scripts☆38,957Feb 1, 2026Updated last week
- Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source☆11,485Jan 24, 2026Updated 3 weeks ago
- The single instruction C compiler☆10,126May 29, 2024Updated last year
- Ultimate Plumber is a tool for writing Linux pipes with instant live preview☆8,826Sep 5, 2024Updated last year
- 😱 Falsehoods Programmers Believe in☆27,010Jan 20, 2026Updated 3 weeks ago
- Run compilers interactively from your web browser and interact with the assembly☆18,547Updated this week
- A collection of debugging stories. PRs welcome (sorry for the backlog) :-)☆3,828Feb 2, 2026Updated last week
- Structured shrinking of unknown file formats☆96Jul 11, 2017Updated 8 years ago
- A modern editor with a backend written in Rust.☆19,850Mar 19, 2024Updated last year
- Record and Replay Framework☆10,370Feb 7, 2026Updated last week
- unfork(2) is the inverse of fork(2). sort of.☆1,485Apr 21, 2024Updated last year
- Jargon from the functional programming world in simple terms!☆18,663Oct 17, 2023Updated 2 years ago
- a structural diff that understands syntax 🟥🟩☆24,101Feb 2, 2026Updated last week
- A collection of postmortems. Sorry for the delay in merging PRs!☆11,888Jan 15, 2026Updated last month
- Class materials for a distributed systems lecture series☆9,267Mar 18, 2025Updated 10 months ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Apr 11, 2019Updated 6 years ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,034Feb 5, 2026Updated last week
- A minimal, resource efficient unikernel for cloud services☆5,210Jan 8, 2026Updated last month
- Continuous Unix commit history from 1970 until today☆7,231Jan 5, 2026Updated last month
- For when people get too hyped up about things☆7,342Jan 5, 2024Updated 2 years ago
- An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"☆42,698Aug 19, 2024Updated last year
- 📚 Collaborative cheatsheets for console commands☆61,185Updated this week
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆59,734Dec 17, 2025Updated last month
- mal - Make a Lisp☆10,568Oct 22, 2025Updated 3 months ago
- mold: A Modern Linker 🦠☆16,176Dec 12, 2025Updated 2 months ago
- Zstandard - Fast real-time compression algorithm☆26,607Feb 1, 2026Updated 2 weeks ago
- A framework for distributed systems verification, with fault injection☆7,308Jan 16, 2026Updated 3 weeks ago
- A command-line benchmarking tool☆27,490Dec 1, 2025Updated 2 months ago
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆23,204Feb 7, 2026Updated last week
- A Proof-oriented Programming Language☆2,969Updated this week
- HTML5/EPUB3 version of SICP☆4,504Apr 14, 2023Updated 2 years ago
- A syntax-highlighting pager for git, diff, grep, and blame output☆28,956Dec 11, 2025Updated 2 months ago
- Curated list of resources on testing distributed systems☆2,602Dec 18, 2025Updated last month
- Techniques and numbers for estimating system's performance from first-principles☆4,856Sep 15, 2024Updated last year