Account Summary

  Analyzed about 1 month ago
Rust; functional programming; formal methods; distributed computing; programming language theory;

Projects Used

No projects stacked

Most experienced in
Rust
First commit
almost 12 years ago
Most recent commit
over 9 years ago
Has made
368 commits
Joined Open Hub
over 11 years ago
Contributed to
Contributed to projects in
1 organization including:
Mozilla Foundation

Development History

Apr 2018 - Present
Apr 2018 - Present