Pinned Loading

1. baseconvert baseconvert Public

   A C++ library and command line utility to convert between arbitrary bases

   C++ 2

2. filematch filematch Public

   Compares files between two directories by hash

   Rust 1

3. scripts scripts Public

   A collection of scripts I use

   Python 1

4. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 22k 16.9k

5. geonss geonss Public

   A single-point positioning system for processing satellite data to compute positions, velocities, and clock biases, developed at the Technical University of Munich.

   Python 1 1

6. cryspen/libcrux cryspen/libcrux Public

   The formally verified crypto library for Rust

   C 169 26