ahelwer

PaxosCluster

A framework for distributed applications

FiniteModelChecker

A finite model checker for exhaustively testing C# code

runway-tla-eval

Source files from an evaluation of the Runway formal specification system as it compares to TLA+

avalanche-analysis

Analysis of the Avalanche family of protocols using formal methods

BattleTetrisAI

AI for Battle Tetris, entered into a programming contest

ahelwer.github.io

Personal website for outdoor trip reports

quantum-experiments

Q# code snippets written when exploring quantum computing concepts

computerized-mathematics

Exploring concepts & tools in computerized mathematics

Examples

A collection of TLA+ specifications of varying complexities

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

tree-sitter-prism

Incomplete tree-sitter grammar for the PRISM probabilistic modeling language

tree-sitter-test

For testing tree-sitter grammar functionality

WikiCode

Code for use in Wikipedia articles

beautifulhugo

Theme for the Hugo static website generator

FirewallChecker

A self-contained firewall checker

formal-methods-experiments

Some experiments with formal methods languages & tooling

predicate-lang

Predicate - Access Control System

rbac-linter

tlapm

The TLA Proof Manager

tree-sitter

An incremental parsing system for programming tools

vscode-tlaplus

TLA+ language support for Visual Studio Code