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☆18Updated 6 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- Software and documentation, mostly from the 80s and 90s☆24Updated 10 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 2 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆30Updated last month
- 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
- L4Ka::Hazelnut micro-kernel☆37Updated 10 years ago
- ☆24Updated 4 years ago
- ☆27Updated 2 months ago
- K42 Kernel☆31Updated 13 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 9 years ago
- A Machine-Independent Debugger☆35Updated last year
- Peephole optimizer for QBE☆31Updated 2 months ago
- OpenFirmware as used on OLPC (and elsewhere)☆116Updated 9 years ago
- System-V UNIX clone for ARM A-Core Processors☆16Updated 4 years ago
- BCPL is a simple typeless language that was designed in 1966 by Martin Richards☆43Updated 3 years ago
- Kernel PCI device drivers in userspace☆14Updated 5 years ago
- GNU SETL☆35Updated 9 months ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆22Updated last year
- a Java VM implemented in Forth☆40Updated 13 years ago
- Darwin 0.3 sources released under the APSL☆13Updated 4 years ago
- Updated Plan9 cross compilers (for OSX and Linux) including RISC V target☆19Updated 5 years ago
- The Unix Archive (The Unix Heritage Society)☆62Updated 11 years ago
- Solaris/PPC☆21Updated 11 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆20Updated 6 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 7 years ago
- BSD 2.11, as patched☆23Updated 4 years ago
- scc - simple C Compiler☆58Updated 8 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago