I like systems programming, compilers, and automated reasoning.
Pinned Loading
-
-
creusot-rs/creusot
creusot-rs/creusot PublicCreusot helps you prove your code is correct in an automated fashion.
-
rust-lang/rust
rust-lang/rust PublicEmpowering everyone to build reliable and efficient software.
-
seccomp-notif
seccomp-notif PublicA PoC for using the new seccomp-notif Linux feature from Rust.
Rust 2
-
vnc-overlay
vnc-overlay PublicA customizable proxy for overlaying interactive icons on VNC connections.
Rust
63 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More