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
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 10 years ago
- ☆10Dec 17, 2021Updated 4 years ago
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 3 years ago
- Modify some of the APK build tools in Android SDK, add some new features to them.☆16Jan 7, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- TCP/IPv6-enabled Pine64+ bootloader☆13Mar 10, 2017Updated 9 years ago
- Another dynamically-typed, lightweight programming language☆12May 5, 2015Updated 11 years ago
- PonyTown Client For Windows☆13Sep 19, 2016Updated 10 years ago
- 高可用架构，涵盖了分布式系统（存储与计算）、微服务、数据库、Cloud 与 Kubernetes、Linux 与操作系统、DevOps 等多领域知识的融汇☆30Sep 27, 2026Updated 2 weeks ago
- A stack tracer/profiler for Xen domains☆33Sep 28, 2022Updated 4 years ago
- Lemon is an LALR(1) parser generator for C or C++.☆17Jun 10, 2014Updated 12 years ago
- A lightweight concurrency library for C, featuring symmetric coroutines as the main control flow abstraction.☆13Sep 9, 2015Updated 11 years ago
- PCB layout for my cheap FPGA HDMI experimenting board☆10Aug 21, 2014Updated 12 years ago
- A Unix/Linux like operating system☆21Dec 10, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Cocktail Toolbox for compiler construction - generated source code in C☆14Jan 9, 2025Updated last year
- Implements the "cucumber" BDD framework in the nim language.☆10Dec 27, 2016Updated 9 years ago
- 2D game engine with a modern intuitive API and a decoupled plugin system☆14Mar 23, 2024Updated 2 years ago
- C Streaming parser for Smile ( http://wiki.fasterxml.com/JacksonBinaryFormatSpec )☆32Jun 12, 2020Updated 6 years ago
- MIT 6.824 2016☆156Aug 16, 2018Updated 8 years ago
- Android archiver using minizip library.☆15May 22, 2014Updated 12 years ago
- Scriptable game engine, using Ogre3D, ODE, and DirectShow.☆10Oct 19, 2020Updated 5 years ago
- This is the iiBench benchmark (aka the Index Insertion Benchmark) implemented as a sysbench workload☆16Jan 18, 2022Updated 4 years ago
- You can be very simple to execute lua code for nginx☆23Oct 31, 2011Updated 14 years 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.
- internship☆10Sep 1, 2017Updated 9 years ago
- Mirror of Apache Portable Runtime iconv☆22Jan 1, 2019Updated 7 years ago
- Tiny Object Run Time☆24May 24, 2015Updated 11 years ago
- My own branches for the NetSurf web browser http://www.netsurf-browser.org/☆19Jan 31, 2022Updated 4 years ago
- 2.8" TFT Touch Shield For Arduino☆14Jun 9, 2026Updated 4 months ago
- Schedule creator for University of Waterloo courses.☆10Jul 21, 2017Updated 9 years ago
- C64 KERNAL patch to support ACIA hardware serial, parallel IEEE-488 and more☆16Aug 9, 2017Updated 9 years ago
- Gratipay's financial accounting system☆13Jun 24, 2017Updated 9 years ago
- 一个基于epoll和线程池的转发服务器☆11Nov 7, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Unit Testing framework for PicoLisp☆23Sep 10, 2020Updated 6 years ago
- jasspa's microemacs fork - http://www.jasspa.com/☆18Sep 13, 2026Updated last month
- Ragel/Lemon based json-parser☆18Sep 22, 2018Updated 8 years ago
- Theora video playback☆11Dec 20, 2020Updated 5 years ago
- Nanos klib for NVIDIA GPUs☆14Aug 29, 2026Updated last month
- RTFM☆15Jan 24, 2021Updated 5 years ago
- A fork of the original sljit: http://sljit.sourceforge.net/☆20Jan 8, 2016Updated 10 years ago