ahelwer
Formal methods & distributed systems. Independent software engineering contractor. TLA⁺ enthusiast!
Disjunctive Consulting LLCAtlanta, Georgia
Pinned Repositories
avalanche-analysis
Analysis of the Avalanche family of protocols using formal methods
BattleTetrisAI
AI for Battle Tetris, entered into a programming contest
FiniteModelChecker
A finite model checker for exhaustively testing C# code
PaxosCluster
A framework for distributed applications
quantum-experiments
Q# code snippets written when exploring quantum computing concepts
runway-tla-eval
Source files from an evaluation of the Runway formal specification system as it compares to TLA+
rbac-linter
tlauc
Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
tree-sitter-tlaplus
A tree-sitter grammar for TLA⁺ and PlusCal
FirewallChecker
A self-contained firewall checker
ahelwer's Repositories
ahelwer/PaxosCluster
A framework for distributed applications
ahelwer/FiniteModelChecker
A finite model checker for exhaustively testing C# code
ahelwer/runway-tla-eval
Source files from an evaluation of the Runway formal specification system as it compares to TLA+
ahelwer/avalanche-analysis
Analysis of the Avalanche family of protocols using formal methods
ahelwer/BattleTetrisAI
AI for Battle Tetris, entered into a programming contest
ahelwer/quantum-experiments
Q# code snippets written when exploring quantum computing concepts
ahelwer/ahelwer.github.io
Personal website for outdoor trip reports
ahelwer/computerized-mathematics
Exploring concepts & tools in computerized mathematics
ahelwer/Examples
A collection of TLA+ specifications of varying complexities
ahelwer/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ahelwer/tree-sitter-prism
Incomplete tree-sitter grammar for the PRISM probabilistic modeling language
ahelwer/tree-sitter-test
For testing tree-sitter grammar functionality
ahelwer/WikiCode
Code for use in Wikipedia articles
ahelwer/beautifulhugo
Theme for the Hugo static website generator
ahelwer/FirewallChecker
A self-contained firewall checker
ahelwer/formal-methods-experiments
Some experiments with formal methods languages & tooling
ahelwer/foundation
TLA+ Foundation
ahelwer/jgit
JGit, the Java implementation of git
ahelwer/jgit-buildnumber
Git buildnumber for Maven and Ant without Git CLI
ahelwer/ocamlearlybird
OCaml debug adapter
ahelwer/parse-sany-output-ocaml
Parse the exported XML output of the SANY TLA+ parser in OCaml
ahelwer/predicate-lang
Predicate - Access Control System
ahelwer/rbac-linter
ahelwer/tlapm
The TLA Proof Manager
ahelwer/tree-sitter
An incremental parsing system for programming tools
ahelwer/vscode-ocaml-platform
Visual Studio Code extension for OCaml
ahelwer/vscode-tlaplus
TLA+ language support for Visual Studio Code