Pinned Loading

1. coliasgroup/seL4-binary-verification coliasgroup/seL4-binary-verification Public

   A new implementation of seL4's binary verification tool

   Haskell 1

2. seL4/rust-sel4 seL4/rust-sel4 Public

   Rust support for seL4 userspace

   Rust 210 39

3. hs-arm hs-arm Public

   (Dis)assembler and analyzer generated from the machine-readable ARMv8.3-A specification

   Haskell 28 3

4. malice malice Public

   Haskell framework providing abstractions and protocol-specific attacks for intercepting and modifying network traffic

   Haskell 6 1

5. nix-isabelle nix-isabelle Public

   Isabelle packaged using Nix without prebuilt platform-specific binary artifacts

   Nix 7

6. whonix-now whonix-now Public

   Whonix on KVM in Linux containers

   Nix 6 3