Cloud Identity, MFA and Compliance for Linux

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Making passwords painless

Various password utilities for working with libpasta

Standalone implementation of Conformal Prediction and other distribution-free Machine Learning methods.

ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations

Enterprise Onion Toolkit

Machine Learning library for Rust

An easy and powerful assembler engine in python.

Simple chat program that communicates using inaudible sounds

Low-Budget Password Strength Estimation

A fast note-taking app for the UNIX terminal

Secure multiparty messaging (kindof)

A command-line todo list manager for people that want to finish tasks, not organize them. (git mirror)