Portfolio

Products, platforms, and tools built by Praxiotic. These aren't mockups or pitch decks. They're live, working systems you can explore, use, and evaluate for yourself.

Live

Catallaxy

A declarative Kubernetes platform built on NixOS modules. Good systems, like good economies, emerge from sound rules rather than central control.

Explore →

Live

Phox

A dependently typed expression language built in Rust. Dependent types, bidirectional type checking, pattern matching, a module system, and LSP support. Write code the compiler can prove correct.

Explore →