Vincent Zimmer
GitHub

Vincent Zimmer

@vincentjzimmer

View GitHub Profile

About

Firmware, UEFI, embedded systems

Location Seattle, WA
Followers 103
Following 18
Public Repositories 89
Expertise

Skills & Technologies

Lean HTML Rust
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

formal

Lean

Experiments in using formal methods

⭐ 0 Forks: 0
Lean View Project

vincentjzimmer

No project description available.

⭐ 0 Forks: 0
Repository View Project

Documents

Miscellaneous documents

⭐ 47 Forks: 16
Repository View Project

vincentjzimmer.github.io

HTML

My person page

⭐ 0 Forks: 0
HTML View Project

RustTraining

Rust

Beginner, advanced, expert level Rust training material

⭐ 0 Forks: 0
Rust View Project

sonata-system

A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI

⭐ 0 Forks: 0
Repository View Project
← Back to Talent Open GitHub Profile ↗