Senior Software Engineer interested in Math, Formal Methods and Software Specification (TLA+, Alloy), TDD, and all the functional things.
- Austin, Texas
-
02:40
(UTC -06:00)
Popular repositories Loading
-
nats.js
nats.js PublicForked from nats-io/nats.node
Node.js client for NATS, the cloud native messaging system.
JavaScript
-
nats.deno
nats.deno PublicForked from nats-io/nats.deno
Deno client for NATS, the cloud native messaging system
TypeScript
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.