labbott

Pinned Repositories

documentation
Documentation
0 1 00
events
Home of information about Maintainerati events.
0 1 00
libtock-c
Userland apps for Tock written in C and C++
Language:C0 0 00
libtock-c_building
Some test scripts for correctly building libtock-c apps
Language:Shell0 1 00
libtock-rs
Rust userland library for Tock
Language:Rust0 0 00
opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilog0 0 00
pictparser
Scripts for extracting PICT data from Mac resource forks
Language:Python1 1 04
talks
conference talks
Language:TeX0 1 00
tock
A secure embedded operating system for microcontrollers
Language:Rust0 0 00
website
My current version of a website
Language:Ruby1 1 10

labbott's Repositories

labbott/pictparser
Scripts for extracting PICT data from Mac resource forks
Language:Python1 1 04
labbott/website
My current version of a website
Language:Ruby1 1 10
labbott/documentation
Documentation
0 1 00
labbott/events
Home of information about Maintainerati events.
0 1 00
labbott/libtock-c
Userland apps for Tock written in C and C++
Language:C0 0 00
labbott/libtock-c_building
Some test scripts for correctly building libtock-c apps
Language:Shell0 1 00
labbott/libtock-rs
Rust userland library for Tock
Language:Rust0 0 00
labbott/opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilog0 0 00
labbott/talks
conference talks
Language:TeX0 1 00
labbott/tock
A secure embedded operating system for microcontrollers
Language:Rust0 0 00