Pinned Loading

1. DamageBDD/DamageBDD DamageBDD/DamageBDD Public

   Behaviour Verification at Planetary Scale

   Erlang 4

2. DamageBDD/safe_peer DamageBDD/safe_peer Public

   Hard isolation for untrusted BEAM execution — because correctness beats hope.

   Erlang

3. TAQtile TAQtile Public

   TAQtile - Tactical Advanced Qtile Config

   Python 2

4. ntmux ntmux Public

   NTmux - Nested Tmux Script

   Python 1

5. dotemacs dotemacs Public

   My dotemacs

   Emacs Lisp

6. DamageBDD/DamageBDD.com DamageBDD/DamageBDD.com Public

   DamageBDD Product Page

   TeX 1 5