Pinned Repositories
2012spring
Coursework in 2012 Spring in UPenn
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.
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
bolt
An embedded key/value database for Go.
bolt-mount
Mount a BoltDB (https://github.com/boltdb/bolt) database as a FUSE filesystem;
boogie
Boogie
BSTDelete
ismailkuru's Repositories
ismailkuru/acwj
A Compiler Writing Journey
ismailkuru/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
ismailkuru/amacc
Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
ismailkuru/asm
:running: An x86-64 assembler written in Go.
ismailkuru/cerise
Formalisation of a capability machine and principles for reasoning about security properties
ismailkuru/chibicc
A small C compiler (OpenBSD port)
ismailkuru/gopher-os
A proof of concept OS kernel written in Go
ismailkuru/HoTTEST-Summer-School
HoTTEST Summer School materials
ismailkuru/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
ismailkuru/ismailkuru.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
ismailkuru/jlm
ismailkuru/lacc
A simple, self-hosting C compiler
ismailkuru/lcc
The lcc retargetable ANSI C compiler
ismailkuru/linux-0.01
1st version of Linux Kernel
ismailkuru/linux-1.0
Linux Kernel 1.0
ismailkuru/linux-2.0
Linux Kernel 2.0
ismailkuru/Linux_Driver_Tutorial
A Tutorial how to get started with Linux Kernel Modules and Linux Drivers.
ismailkuru/Lyre
UNIX-like kernel and distro written from scratch
ismailkuru/mini-rustc
A toy Rust compiler
ismailkuru/morphisms-of-computational-structures
A visual catalogue + story of morphisms displayed across computational structures.
ismailkuru/os_kernel_lab
OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
ismailkuru/perennial
Verifying concurrent crash-safe systems
ismailkuru/pl0c
Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
ismailkuru/rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
ismailkuru/shecc
A self-hosting and educational C compiler
ismailkuru/try
ismailkuru/xv6-annotated
A detailed guide to the xv6 code.
ismailkuru/xv6-kmalloc-mmap
Adding in a kernel space memory allocator and anonymous/file-backed lazy mmap routine to the xv6 operating system
ismailkuru/xv6-riscv-book
Text describing xv6 on RISC-V