cksystemsteaching / selfie
An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
☆2,425Updated this week
Alternatives and similar repositories for selfie:
Users that are interested in selfie are comparing it to the libraries listed below
- A tiny hand crafted CPU emulator, C compiler, and Operating System☆1,086Updated 4 years ago
- How to write a very simple JIT compiler☆1,833Updated 3 years ago
- Source for the little book about OS development☆2,424Updated last year
- Simple C compiler☆1,476Updated 3 months ago
- A simple, self-hosting C compiler☆942Updated 2 years ago
- bootOS is a monolithic operating system in 512 bytes of x86 machine code.☆1,798Updated last year
- Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…☆3,230Updated 5 months ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,401Updated 5 months ago
- The CompCert formally-verified C compiler☆1,954Updated last week
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,602Updated 2 years ago
- A set of minimal dependency bootstrap binaries☆961Updated last year
- an incremental approach to compiler construction☆928Updated 5 years ago
- Algebraic data types for C99☆1,400Updated 2 weeks ago
- A distributed operating system☆1,447Updated 2 years ago
- A Tiny Linux-Compatible Kernel☆2,427Updated last month
- A Bestiary of Single-File Implementations of Programming Languages☆1,004Updated last year
- A linux-based assembly REPL for x86, amd64, armv7, and armv8☆1,189Updated last year
- MOVED TO: https://cirosantilli.com/linux-kernel-module-cheat/userland-assembly with code at https://github.com/cirosantilli/linux-kernel-…☆874Updated 5 years ago
- Dozens of minimal operating systems to learn x86 system programming. Tested on Ubuntu 17.10 host in QEMU 2.10 and real hardware. Userland…☆4,974Updated 2 years ago
- A tiny compiler for a language featuring LL(2) with Lexer, Parser, ASM-like codegen and VM. Complex enough to give you a flavour of how t…☆566Updated 2 years ago
- A superoptimizer for LLVM IR☆2,212Updated 7 months ago
- A Simple Unix-like operating system☆922Updated 2 years ago
- Pragmatic microkernel-based OS with fully asynchronous I/O☆1,658Updated last week
- A minimal, resource efficient unikernel for cloud services☆5,112Updated 4 months ago
- Computing with traps☆1,285Updated 11 years ago
- A self-hosting and educational C optimizing compiler☆1,205Updated last week
- Mirror of JONESFORTH☆1,042Updated last year
- All CPU and MCU documentation in one place☆1,918Updated 2 years ago
- Simple operating system in C++, written from scratch☆1,684Updated 4 months ago
- A hobby operating system, in Rust☆1,396Updated 5 years ago