An Interactive Mapping of Computer Science Disciplines & Knowledge Flows

Atlante dei progetti interconnessi con collegamenti ortogonali e percorsi accademici.

FORMAL METHODS
Formal Verification
Formal Verification Repo
REG_03
Compiler Design
Toy Compiler Decompiler Engine
REG_05
Algorithms
Data Structures Repo
ROOT FOUNDATION
C Programming
Computer Science Core
Bachelor Thesis
REG_01
Systems Programming
Skollcheck Kilo Skroll Skollfetch
NET_01
Networking
Networking Playground
REG_02
Binary Exploitation
ROP Tower (Baki)
REG_06
Linux Ecosystem
SkollRice & Dotfiles