TimMThomas

Hannover

Pinned Repositories

bib
SRA Bibliography
Language:TeX3 9 03
chickensoup
Dummy repo
Language:Rust0 6 32
texmf
SRA TeX-MF Tree
Language:TeX0 8 03
riscv-openocd
Fork of OpenOCD that has RISC-V support
Language:C452 62 385328
sail-riscv
Sail RISC-V model
Language:Coq461 45 240167
AoC2020
Repository for the Advent of Code 2020
Language:C++00
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Language:C00
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Language:C10.9k 408 23k6.6k

TimMThomas's Repositories

TimMThomas/AoC2020
Repository for the Advent of Code 2020
Language:C++00
TimMThomas/zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Language:C00