Pinned Loading

1. hazel hazel Public

   Double double, toil and trouble.

   Rust 4

2. telperion telperion Public

   With Silver Branch

   Nix 1

3. glamdring glamdring Public

   A weapon for wizards

   Nix 1

4. turnkey turnkey Public

   A secret management system for NixOS based on SystemD and Hashicorp Vault

   Nix 7

5. truncheon truncheon Public

   Hexy and we know it.

   Rust 1

6. geometry_is_your_friend geometry_is_your_friend Public

   a formalization of _Euclidean and Non-euclidean Geometry_ by Greenberg in Lean4

   Lean