TimMThomas

Hannover

Pinned Repositories

bib
SRA Bibliography
Language:TeX3 9 03
chickensoup
Dummy repo
Language:Rust02
texmf
SRA TeX-MF Tree
Language:TeX0 8 03
riscv-openocd
Fork of OpenOCD that has RISC-V support
Language:C437 61 372319
sail-riscv
Sail RISC-V model
Language:Coq421 46 212158
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
vrtlmod
vRTLmod modifies Verilator generated RTL simulation code for faul-injection purposes. It transforms source code with the help of LLVM/Clang-Tools and generates a fault injection API.
Language:C++12 2 34
zephyr
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
Language:C10.4k 405 22.3k6.4k

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