Name: Andrew Helwer
Type: User
Company: Disjunctive Consulting LLC
Bio: Formal methods, distributed systems, quantum computing. Independent software engineering contractor. TLA⁺ enthusiast & Canadian!
Location: Atlanta, Georgia
Blog: https://ahelwer.ca/
Andrew Helwer's Projects
Personal website for outdoor trip reports
Analysis of the Avalanche family of protocols using formal methods
AI for Battle Tetris, entered into a programming contest
Theme for the Hugo static website generator
Exploring concepts & tools in computerized mathematics
A collection of TLA+ specifications of varying complexities
A finite model checker for exhaustively testing C# code
A self-contained firewall checker
Some experiments with formal methods languages & tooling
JGit, the Java implementation of git
Git buildnumber for Maven and Ant without Git CLI
OCaml debug adapter
A framework for distributed applications
Predicate - Access Control System
Q# code snippets written when exploring quantum computing concepts
Source files from an evaluation of the Runway formal specification system as it compares to TLA+
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
The TLA Proof Manager
An incremental parsing system for programming tools
Incomplete tree-sitter grammar for the PRISM probabilistic modeling language
For testing tree-sitter grammar functionality
Visual Studio Code extension for OCaml
TLA+ language support for Visual Studio Code
Code for use in Wikipedia articles