atalii

adage

ada privilege escalation

is-my-hard-disk-still-spinning

hacky lil home server monitoring tool

ohs-rcv

ranked choice voting implementation for student government

ac-mon

alire

Command-line tool from the Alire project and supporting library

argon2-ada

Argon2 bindings for Ada

atalii

net

home network nix configs

painted

a plain text notification daemon (migrated from old acc)

pronouns

A service to help people with pronoun inflections.

s3t

a stolen truth table tool

wiki-less

ahhhh wikipedia changed things and change is bad

awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

e3-core

Core framework for developing portable automated build systems

e3-testsuite

e3 testsuite driver

gnatcoll-core

GNAT Components Collection – Core packages

i3blocks

The hacker-friendly status_command for Sway and i3

kanboard

Kanban project management software

LKV

Linear Key-Value Containers for Rust

nixpkgs

Nix Packages collection & NixOS

nixpkgs-mozilla

Mozilla overlay for Nixpkgs.

phc-winner-argon2

The password hash Argon2, winner of PHC

simple_logging

Easy to use logging facilities for output to console in Ada programs

site

sudo-rs

A memory safe implementation of sudo and su.

template-arithmetic

idk why i did this

wayfire

A modular and extensible wayland compositor