Pinned Loading

1. Rustland Rustland Public

   A Wayland compositor written in Rust, hence the cool name

   Rust 74 1

2. Bukkit-Duties Bukkit-Duties Public archive

   A Bukkit plugin for Minecraft server administration written back in 2011

   Java 5 12

3. mal-lang/containment-course-of-action mal-lang/containment-course-of-action Public

   An analysis tool for reasoning about containment strategies in MAL-based threat models.

   Java

4. RSR RSR Public

   Refined Semantic Relatedness (RSR), a distributional semantics model.

   Java 1

5. Rustland-old Rustland-old Public

   Rustland v. 1.*

   Rust 7

6. ipsec-monitoring ipsec-monitoring Public

   A set of libreswan-compatible bash scripts for monitoring ipsec tunnel status (e.g. send mail when tunnel is down)

   Shell