PeterDWhite / OskerLinks
Sharing work on resumption monad
☆12Updated 13 years ago
Alternatives and similar repositories for Osker
Users that are interested in Osker are comparing it to the libraries listed below
Sorting:
- Mach kernel from 1986☆17Updated 6 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Digital, never Compaq or HP, Alpha AXP Emulator☆49Updated 6 years ago
- Darwin 0.3 sources released under the APSL☆13Updated 4 years ago
- Solaris/PPC☆21Updated 11 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 8 years ago
- BCPL is a simple typeless language that was designed in 1966 by Martin Richards☆43Updated 3 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆22Updated last year
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Updated 2 months ago
- ☆37Updated 5 months ago
- K42 Kernel☆30Updated 13 years ago
- A simulator for the Multics dps-8/m mainframe☆49Updated 5 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- ☆12Updated 5 years ago
- OpenFirmware as used on OLPC (and elsewhere)☆115Updated 9 years ago
- A fork of v7x86☆16Updated 2 years ago
- Doom-like engine on Raspberry Pi, in pure bare metal assembly☆61Updated 7 years ago
- System-V UNIX clone for ARM A-Core Processors☆16Updated 4 years ago
- BSD 2.11, as patched☆24Updated 3 years ago
- Multiversal Interfaces for Classic MacOS☆14Updated last year
- BLISS-M compiler☆41Updated last year
- risc-v assembly language☆10Updated 3 years ago
- Sparc emulator☆11Updated 7 years ago
- Common source code repository for emulators of the Burroughs B5500 computer system.☆25Updated 2 years ago
- Firmware for Alpha emulation under QEMU☆13Updated 4 years ago
- A project to recreate the B compiler for the PDP-11 as authentically as possible☆34Updated 6 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆41Updated 2 years ago
- a Java VM implemented in Forth☆40Updated 13 years ago
- LLVM backend for m88k architecture☆50Updated last month