~ahelwer

Atlanta, GA, USA

https://ahelwer.ca

Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA⁺ enthusiast & Canadian!

~ahelwer/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

~ahelwer/rstla

An industrial-strength TLA⁺ parser, written in Rust

~ahelwer/tlauc

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

~ahelwer/firewall-checker

Check two firewalls for logical equivalence using Z3

~ahelwer/rbac-linter

A Z3-based analysis engine for Teleport RBAC rules