Gregory Terzian
gterzian
I write in Javascript, Python, Rust, and English. Always for people to read.
Languages
Repos
94
Stars
128
Forks
14
Top Language
Rust
Loading contributions...
Top Repositories
Python collections supporting parallel map/reduce style methods
How to structure concurrent workflows in Rust, via five simple examples.
What makes Viewstamped Replication tick?
What makes Paxos tick?
Repositories
94No description provided.
No description provided.
Rust Implementation for WebNN
From TLA+ to Lean
Servo's SpiderMonkey fork
The Servo Browser Engine
How to structure concurrent workflows in Rust, via five simple examples.
No description provided.
Prompt-injection-resistant agent runtime
What makes Viewstamped Replication tick?
Indexed Database API
Unofficial Rust bindings to Apple's mlx framework
A prototype for a Web based AI agent
No description provided.
No description provided.
No description provided.
No description provided.
(See Issues tab) A space to organize the Browser Summit unconference after RustWeek 2025
No description provided.
What makes Paxos tick?
No description provided.
Test suites for Web-platform specs — including WHATWG, W3C, and others
Taming concurrency with (in-)formal methods
Python collections supporting parallel map/reduce style methods
The Servo Book (experimental)
An open source repository for the Speedometer benchmark
How we track participants in the WHATWG
No description provided.
Servo project website
A single-writer design example in Rust