🌌
Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA⁺ enthusiast & Canadian!
-
Disjunctive Consulting LLC
- Atlanta, Georgia
- https://ahelwer.ca/
- @[email protected]
- in/ahelwer
- https://sr.ht/~ahelwer/
Block or Report
Block or report ahelwer
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
tlaplus-community/tree-sitter-tlaplus
tlaplus-community/tree-sitter-tlaplus PublicA tree-sitter grammar for TLA⁺ and PlusCal
-
tlaplus-community/tlauc
tlaplus-community/tlauc PublicRewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.