Exokernel is one of the major sources for container and library OS techniques.
☆46Apr 5, 2022Updated 4 years ago
Alternatives and similar repositories for -LibraryOS-Exokernel_Implementation
Users that are interested in -LibraryOS-Exokernel_Implementation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of the core of an exokernel-style operating system☆12Dec 6, 2014Updated 11 years ago
- RExOS - Realtime Exokernel Operating System☆103Aug 2, 2023Updated 3 years ago
- 根据李航的《统计学习方法》章节内容进行代码编写,听说一般人都是搜索Machine Learning的☆12Mar 20, 2015Updated 11 years ago
- An exokernel-like operating system, based on MIT 6.828 lab☆13Jul 22, 2012Updated 14 years ago
- eXokernel Development Kit for Linux☆14Jan 6, 2017Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A piece chain is a data structure that allows fast text insertion and deletion operations, unlimited undo/redo and grouping of operations…☆12Dec 1, 2020Updated 5 years ago
- My attempts at developing an operating system kernel.☆12Nov 25, 2014Updated 11 years ago
- A lightweight, zero-dependency RPC framework that transforms POJOs into network-accessible services over TCP.☆12Jul 20, 2026Updated 3 months ago
- A support library for building parallel systems, including 2nd-level schedulers that efficiently manage user level threads☆10Aug 27, 2015Updated 11 years ago
- Exokernel/framework intended to ease the development of pure user space OS kernels☆21Dec 15, 2023Updated 2 years ago
- 3DVCE☆24Nov 29, 2012Updated 13 years ago
- Learn to write a tiny OS for ARM CPU (move to juluosdev --> https://github.com/juluosdev/JuluOS)☆10Aug 31, 2012Updated 14 years ago
- Roadmap for implementation of Concepts in the Clang compiler.☆16Aug 13, 2018Updated 8 years ago
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An exokernel operating system written in D☆350May 31, 2013Updated 13 years ago
- Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.☆77Sep 12, 2017Updated 9 years ago
- Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.☆19Jan 31, 2019Updated 7 years ago
- My hobby operating system project. The plan was grand, the mind was melted. It does compile and run though...☆27Jul 14, 2026Updated 3 months ago
- ☆11Nov 10, 2015Updated 10 years ago
- minimal breakpoints library for x86 Linux☆11May 17, 2012Updated 14 years ago
- Pure Python module to communicate with an Android device via TCP, without going through the ADB server.☆12Nov 11, 2013Updated 12 years ago
- This is the iiBench benchmark (aka the Index Insertion Benchmark) implemented as a sysbench workload☆16Jan 18, 2022Updated 4 years ago
- A personal x86 kernel☆30Mar 18, 2026Updated 7 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- JsLab -- A JavaScript Scientific Computing Environment (in R style)☆11Oct 28, 2014Updated 12 years ago
- MicroController Unit ToolKit -- embedded development with GCC, OpenOCD, CMake, and more☆12Apr 18, 2013Updated 13 years ago
- ☆13Feb 27, 2014Updated 12 years ago
- This is a python package that enable us to create a entire Mavlink API under ROS middleware☆10Aug 12, 2014Updated 12 years ago
- Kubernetes 初级课程☆22Dec 20, 2016Updated 9 years ago
- MIT 6.824 2016☆156Aug 16, 2018Updated 8 years ago
- PCB layout for my cheap FPGA HDMI experimenting board☆10Aug 21, 2014Updated 12 years ago
- An exokernel operating system written in D and Assembly☆16Jun 13, 2011Updated 15 years ago
- ☆13Jun 3, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Princeton Full Correlation Matrix Analysis (FCMA) Toolbox☆18Dec 8, 2016Updated 9 years ago
- Fully verifiable operating system and API written in D in the public domain.☆43Jul 12, 2011Updated 15 years ago
- BareMetal for Firecracker☆11Updated this week
- An exokernel for the raspberry pi 3.☆83Nov 17, 2021Updated 4 years ago
- Implements the "cucumber" BDD framework in the nim language.☆10Dec 27, 2016Updated 9 years ago
- IDE for the MEGA65 Retro Computer☆10Mar 17, 2017Updated 9 years ago
- Epiphany design verification infrastructure☆13Sep 8, 2015Updated 11 years ago