Nathan Howell

@NathanHowell · User

GitHub profile ↗ · Compare

Palo Alto, CA80 followers111 repositories

Repositories

NathanHowell/lerc-rs

Pure Rust LERC (Limited Error Raster Compression) encoder and decoder

★ 3RustForks 2

NathanHowell/cgg

Offline multi-language call graph generator in Rust — point at any folder, get a graph.

★ 0Forks 0

NathanHowell/tonic

A native gRPC client & server implementation with async/await support.

★ 0Forks 0

NathanHowell/tlaplus

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

★ 1Forks 0