abrown7100

Senior Software Engineer interested in Math, Formal Methods and Software Specification (TLA+, Alloy), TDD, and all the functional things.

Austin, Texas

Pinned Repositories

nats.deno
Deno client for NATS, the cloud native messaging system
Language:TypeScript00
nats.js
Node.js client for NATS, the cloud native messaging system.
Language:JavaScript00
openfmb-rs
OpenFMB for Rust
Language:Rust0 0 00
genevo
Execute genetic algorithm (GA) simulations in a customizable and extensible way.
Language:Rust176 6 2027
openfmb-rs
OpenFMB for Rust
Language:Rust3 3 62

abrown7100's Repositories

abrown7100/nats.deno
Deno client for NATS, the cloud native messaging system
Language:TypeScript00
abrown7100/nats.js
Node.js client for NATS, the cloud native messaging system.
Language:JavaScript00
abrown7100/openfmb-rs
OpenFMB for Rust
Language:Rust0 0 00