MatthewMckee4 - Overview (original) (raw)

Skip to content

Navigation Menu

• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

About Me

Human Data Team Lead at xAI. Studying Computing Science and Mathematics at The University of Glasgow. I enjoy writing Rust and Python.

Some of the projects I have been working on are:

• Karva, a Python test framework, written in Rust.
• Seal, an extremely fast release management tool, written in Rust.
• ty, a Python type checker, written in Rust.
• GDSR, a tool for intuitive manipulation of GDSII files.

Find my resume here.

Pinned Loading

1. An extremely fast Python test framework, written in Rust.
   Rust 27 5
2. An extremely fast release management tool, written in Rust.
   Rust 1
3. An extremely fast Python type checker and language server, written in Rust.
   Python 19k 302
4. GDSII manipulation, written in Rust.
   Rust 11 1
5. A tool for reporting possible typing unsoundness in Python
   Rust 1
6. An opinionated GitHub action formatter
   Rust