Dylan-DPC

Dylan DPC's starred repositories

papers-we-love

Papers from the computer science community to read and discuss.

Language:Shell85520 3103 236

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustMIT20140 62 572

GoodbyeDPI

GoodbyeDPI — Deep Packet Inspection circumvention utility (for Windows)

Language:CApache-2.010769 295 342

gh-dash

A beautiful CLI dashboard for GitHub 🚀

Language:GoMIT6810 17 159

legacy-cc

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.

Language:CNOASSERTION3739 135 3

black-hat-rust

Applied offensive security with Rust - https://kerkour.com/black-hat-rust

Language:RustMIT3107 74 50

earlyoom

earlyoom - Early OOM Daemon for Linux

Language:CMIT2829 32 212

kani

Kani Rust Verifier

Language:RustApache-2.02058 25 1594

cryptocoding

Guidelines for low-level cryptography software

1088 61 13

haskell-study-plan

An opinionated list of resources for learning Haskell

CC0-1.0857 480

minirust

A precise specification for "Rust lite / MIR plus"

Language:RustApache-2.0709 17 19

rust-music-theory

A music theory guide written in Rust.

Language:RustMIT621 16 15

ConcurrencyFreaks

Language:JavaNOASSERTION410 42 9

mmtk-core

Memory Management ToolKit

Language:RustNOASSERTION352 14 515

armstrong-distributed-systems

Notes on how we potentially could build reliable, scalable and maintainable computer systems.

Language:Makefile313 140

sf

Mirror of Software Foundations in PDF

Language:HTML294 10 5

cargo-minimize

A tool to help with minimization of Rust code

Language:RustApache-2.045 3 26

lawn

A C implementation of the Lawn data structure

Language:CMIT5 20

publications

Emery Berger publications

Language:TeX2 20

quasiquote

Language:RustGPL-3.0200

zepdep

Analyzing transitive reverse dependencies.

Language:Rust100