flippette

aa26

Lean 0 0

formalization of Aalto's Spring 2026 Abstract Algebra lecture notes in Lean 4.

Updated 2026-03-07 23:21:51 +01:00

nixus

Nix 0 0

my NixOS and Home Manager configs.

Updated 2026-03-07 19:51:27 +01:00

lore

Lean 0 0

Lean over Random Epiphanies

Updated 2026-02-19 22:51:11 +01:00

favis

Rust 0 0

Smart Wearables 26 demonstration prototype.

Updated 2026-02-13 00:35:24 +01:00

leansock

Nix 0 0

UDP sockets demo in Lean.

Updated 2026-02-12 17:17:11 +01:00

iosevka-m

Nix 0 0

Iosevka + Menlo + dlig

Updated 2026-02-10 23:15:59 +01:00

sockpuppet

Rust 0 0

UDP multicast client-server demo.

Updated 2026-02-08 16:15:04 +01:00

fake-home

Nix 0 0

fake-home for Nix.

Updated 2026-01-28 19:37:50 +01:00

anix

Nix 0 0

an anime archive built with Nix.

Updated 2026-01-01 21:17:17 +01:00

bsmm-nix

Nix 0 0

BeatSaberModManager for Nix.

Updated 2026-01-01 02:19:54 +01:00

myth

Rust 0 0

A Typst-rendering Discord bot.

Updated 2026-01-01 01:46:50 +01:00

picobox

Rust 0 0

12-button controller firmware for the Raspberry Pi Pico.

Updated 2024-07-14 11:47:36 +02:00

lifeless

Rust 0 0

A no_std library for implementing Conway's Game of Life.

Updated 2024-07-14 06:38:20 +02:00

rustc-stress

Rust 0 0

stress testing with rustc

Updated 2024-07-14 06:34:23 +02:00