ismailkuru

acwj

A Compiler Writing Journey

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

amacc

Small C Compiler generating ELF executable Arm architecture, supporting JIT execution

asm

:running: An x86-64 assembler written in Go.

bolt-mount

Mount a BoltDB (https://github.com/boltdb/bolt) database as a FUSE filesystem;

cerise

Formalisation of a capability machine and principles for reasoning about security properties

chibicc

A small C compiler (OpenBSD port)

gopher-os

A proof of concept OS kernel written in Go

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

ismailkuru.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

jlm

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

perennial

Verifying concurrent crash-safe systems

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

try

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