Andrew Helwer

Disjunctive Consulting LLC Atlanta, Georgia Formal methods & distributed systems. Independent software engineering contractor. TLA⁺ enthusiast!

Results 2 repositories owned by


                                            Andrew Helwer

56

Stars

13

Forks

Watchers

A framework for distributed applications

15

Stars

1

Forks

Watchers

Miscellaneous TLA+ specifications