☆15Feb 3, 2024Updated 2 years ago
Alternatives and similar repositories for exokernel
Users that are interested in exokernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The sprite operating system☆58Oct 5, 2015Updated 10 years ago
- oskit code from Fluke OS project at University of Utah☆38Dec 21, 2022Updated 3 years ago
- amoeba operating system☆30Sep 30, 2015Updated 10 years ago
- FPGA based PDP-11 cpu☆19Jan 2, 2016Updated 10 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Dec 2, 2015Updated 10 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.
- ☆10Mar 16, 2016Updated 10 years ago
- https://openjdk.org/projects/jdk7 released 2011-07-28☆13Feb 16, 2021Updated 5 years ago
- javahelp☆15Jul 19, 2017Updated 9 years ago
- https://wiki.openjdk.org/display/jdk7u last released 2022-07-19☆18Jul 21, 2022Updated 4 years ago
- 새로운 아희 인터프리터☆14Jan 30, 2020Updated 6 years ago
- a Rust OS project☆10Feb 21, 2019Updated 7 years ago
- Graphical system install utility☆15Sep 10, 2021Updated 4 years ago
- Linux Kernel Driver for Atmel's AT97SC3204T I2C TPM (for Beaglebone)☆17Feb 5, 2015Updated 11 years ago
- HellfireOS Realtime Operating System☆23Nov 25, 2020Updated 5 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.
- Template for writing daemons in Rust☆14Sep 18, 2017Updated 8 years ago
- Correct, optimized blending of color and alpha channels☆10Jan 30, 2016Updated 10 years ago
- ☆12Jan 26, 2014Updated 12 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi☆18Feb 7, 2024Updated 2 years ago
- Capability-based exokernel for x86_64☆22Nov 26, 2016Updated 9 years ago
- An exokernel for the raspberry pi 3.☆82Nov 17, 2021Updated 4 years ago
- Filesystem 'at' implementations for Unix and Windows☆13May 28, 2026Updated last month
- x86_64 OS Reference in C and Assembly☆27Jan 26, 2024Updated 2 years ago
- CLAIRE programming language Version 4 (2021)☆35Aug 23, 2025Updated 10 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.
- 만능 영타 → 한타 변환기. (Inspired by http://github.com/chalkPE/gksdud/ )☆19Dec 14, 2023Updated 2 years ago
- The name sayeth it all☆13Feb 18, 2020Updated 6 years ago
- Chaos experimentation for AWS Java applications☆13Feb 22, 2023Updated 3 years ago
- 템플릿 메타 프로그래밍을 이용한 아희 인터프리터☆22Aug 15, 2018Updated 7 years ago
- The portable clu compiler☆12Aug 7, 2022Updated 3 years ago
- HiDPI / GUI-scaling support for Java-Swing via the PLaF mechanism, supporting multiple L&Fs (Java 8+)☆18Oct 19, 2021Updated 4 years ago
- 아희와 호환성이 있는 난해한 객체지향 한글 프로그래밍 언어☆20Aug 24, 2019Updated 6 years ago
- just another compiler compiler for Java☆26Oct 31, 2016Updated 9 years ago
- Benchmark for memory store throughput☆23Jun 22, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆14Dec 27, 2022Updated 3 years ago
- Metacircular evaluator for a tiny fexpr language☆44Apr 28, 2012Updated 14 years ago
- Code for book Programming for the Java Virtual Machine by Joshua Engel☆26Dec 23, 2010Updated 15 years ago
- Emulated MPW = Mini vMac + Macintosh Programmer's Workshop + glue☆19Apr 11, 2023Updated 3 years ago
- A set of Python Pillow Lambda functions to cover day-to-day use cases☆13Mar 10, 2016Updated 10 years ago
- ☆29Jan 26, 2021Updated 5 years ago
- Add CSRF protection to your Kemal application☆28Jun 25, 2025Updated last year