Takumi Jin's repositories
linux
Linux kernel source tree
NOASSERTION000
verus-tutorial
A collection of functions with implementations and proofs for an introduction to Verus.
Language:Rust000
Language:C000
VerifiedDBM
DBM Implementation Verified by Creusot
sched_ext
This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/
NOASSERTION000
Language:CMIT000
Language:RustMIT000
BSD-3-Clause000
000
Apache-2.0000
heaphook
Replace all the dynamic heap allocation functions by LD_PRELOAD.
Language:C++Apache-2.0000
salloc
simple memory allocator
Language:C++Apache-2.0000
utokyo_syspro_baremetal
Baremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo
000
Language:C++000
Language:Rust000
Language:Rust000
Language:Python000
Language:Python000
Language:VerilogGPL-3.0000
Language:Makefile000
Jinux2022
SECCAMP用に自作OSをgitで管理するためのリポジトリ。
Language:C++Apache-2.0000
Language:HTML000
mikanos
Educational Operating System
Apache-2.0000