HobbesOSR / kitten
Kitten Lightweight Kernel
☆54Updated last year
Alternatives and similar repositories for kitten:
Users that are interested in kitten are comparing it to the libraries listed below
- McKernel☆114Updated 7 months ago
- ☆136Updated 9 months ago
- Power Vector Library☆29Updated this week
- PTLsim and QEMU based Computer Architecture Research Simulator☆129Updated 3 years ago
- ☆52Updated 10 years ago
- Process-in-Process☆17Updated 3 years ago
- QEMU with support for CHERI☆57Updated this week
- K42 Kernel☆26Updated 12 years ago
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 14 years ago
- OpenUH - Open Source UH Compiler☆53Updated 7 years ago
- [deprecated] Reference Implementation of OpenSHMEM on GASNet (specification <= 1.3)☆43Updated 7 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆51Updated 2 years ago
- PMIx Reference RunTime Environment (PRRTE)☆37Updated this week
- Easy the setup and startup of the IBM POWER Functional Simulator. It automatizes all the required procedures like dependencies installati…☆22Updated 7 years ago
- A simulator for the Multics dps-8/m mainframe☆49Updated 5 years ago
- Richard's compiler bootstrap experiment☆45Updated last year
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 8 years ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- Many Threads Operating System☆18Updated 2 years ago
- Microkernel-based system for heterogeneous manycores☆107Updated 4 years ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…☆31Updated last week
- The No-Order File System (NoFS)☆46Updated 12 years ago
- ☆25Updated 7 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- OpenSHMEM Application Programming Interface☆53Updated 3 months ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 4 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 9 months ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- GCC 5.1.1 cross-compiler for Intel Xeon Phi Knights Corner / k1om☆21Updated 8 years ago