Ismail Kuru's repositories
acwj
A Compiler Writing Journey
amacc
Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
bolt-mount
Mount a BoltDB (https://github.com/boltdb/bolt) database as a FUSE filesystem;
chibicc
A small C compiler (OpenBSD port)
HoTTEST-Summer-School
HoTTEST Summer School materials
iris-simp-lang
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
ismailkuru.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
lacc
A simple, self-hosting C compiler
lcc
The lcc retargetable ANSI C compiler
linux-0.01
1st version of Linux Kernel
linux-1.0
Linux Kernel 1.0
linux-2.0
Linux Kernel 2.0
Linux_Driver_Tutorial
A Tutorial how to get started with Linux Kernel Modules and Linux Drivers.
Lyre
UNIX-like kernel and distro written from scratch
os_kernel_lab
OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
pl0c
Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
sample-projects
Sample projects for Quantomatic
shecc
A self-hosting and educational C compiler
xv6-annotated
A detailed guide to the xv6 code.
xv6-kmalloc-mmap
Adding in a kernel space memory allocator and anonymous/file-backed lazy mmap routine to the xv6 operating system
xv6-riscv-book
Text describing xv6 on RISC-V