Pinned Loading

1. qsctr/ctf qsctr/ctf Public

   CTF writeups for team Applicative

   Python

2. Dodgeball Dodgeball Public

   A multiplayer super smash-like game made with Unity

   C#

3. verified-network-toolchain/petr4 verified-network-toolchain/petr4 Public

   Petr4: Formal Semantics for P4

   P4 79 21

4. PL1 PL1 Public

   A dynamically typed language with a blend of imperative and functional language properties.

   Java

5. Hand-Command Hand-Command Public

   Keyboard commands using computer vision

   Python