birkhoff
Home
Posts
Projects
Uses
Photos
Projects.
A
Open source
01
Nix
dotfiles ↗
My platform-agnostic dotfiles
02
Go
Clash ↗
The leading national firewall circumvention software in China, Iran and various other regions.
03
Jupyter
industrial_anomoly_detection ↗
Industrial AD project at the Smart Manufacturing Lab, PoliMi
04
Rust
spotify-lyrics ↗
Fetch Genius lyrics for the currently playing Spotify track on macOS
05
Python
srt-llm-processor ↗
Cleaning SRT subtitles generated by ASR models using LLMs
06
Go
netcheck ↗
A self-contained utility for checking internet connectivity
B
macOS apps
monitor.
COMING SOON
Play your console on your Mac, fullscreen, with ultra-low latency. Built with SwiftUI and Metal.
ocr2md ↗
On-screen content to Markdown with AI. Local-first, fast and accurate.
C
Hardware
Kairos →
A portable medical triage support robot designed for post-earthquake rescue scenarios.