Senior Software Engineer interested in Math, Formal Methods and Software Specification (TLA+, Alloy), TDD, and all the functional things.
- Austin, Texas
-
17:37
(UTC -06:00)
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.