Projects

A fast parser for Routing Policy Specification Language (RPSL), designed to survive messy, real-world routing data.

Built with a focus on correctness, robustness, and testability using property-based testing.

A Rust CLI that keeps Git managed signer files in sync with keys registered on source-control platforms.

Designed for environments where cryptographic identity and access control must be auditable, reproducible, and automated.

A small control service built to solve an operational problem at a previous employer: keeping Anycast routes in sync with service health.

The daemon determines a services status through health checks and uses FRRouting to announce or withdraw BGP prefixes accordingly. This allows traffic to shift away from broken nodes automatically without external load balancers or centralized orchestration.