library OS, based on xv6, for running go programs on (virtual) bare metal
☆13Jul 12, 2011Updated 15 years ago
Alternatives and similar repositories for libos
Users that are interested in libos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ajray's résumé, typeset in XeLaTeX☆14Mar 25, 2014Updated 12 years ago
- 安全人员小助手油猴插件☆13Aug 29, 2023Updated 3 years ago
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 years ago
- Small Unix like operating system written in C, for i386 (PC) CPU☆11Apr 3, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rpi bare metal kernel☆14Aug 15, 2012Updated 14 years ago
- ☆12Apr 25, 2021Updated 5 years ago
- Unikraft port of the lwip network stack☆17Apr 20, 2026Updated 6 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Mar 18, 2020Updated 6 years ago
- 10-stage out-of-order RV64IMAFDC CPU☆11Updated this week
- Simulator/interpreter for Arm64 machine language☆15Jun 17, 2022Updated 4 years ago
- TrustToken token contracts☆11Jan 24, 2023Updated 3 years ago
- These are the profile folders for SSW.People. ▶️ Video: http://r.ssw.com/SSW-people☆14Oct 27, 2026Updated last week
- Compound Real-time Operating System☆19Aug 15, 2020Updated 6 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- C implementation of nqq (modified implementation of clox)☆13Aug 31, 2020Updated 6 years ago
- Mirror of https://sourceforge.net/p/oszur11/code/ci/master/tree/ To run on Ubuntu 14.04: 1) Symlink `qemu-system-i386` to `qemu` in `PATH…☆12Sep 14, 2015Updated 11 years ago
- A python script that converts between schematic file formats☆21Dec 15, 2011Updated 14 years ago
- A tool to measure the round-trip time and bandwidth of a TCP connection with different methods.☆16Sep 19, 2015Updated 11 years ago
- Simple templating engine for directories & files structures☆11Feb 15, 2019Updated 7 years ago
- An Rust hypervisor for mixed-critical system☆30Sep 6, 2025Updated last year
- An exokernel operating system written in D and Assembly☆16Jun 13, 2011Updated 15 years ago
- Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C☆16Jan 4, 2026Updated 9 months ago
- Benchmark Tool for Embedded Key-Value Stores available in Rust☆30Apr 28, 2026Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An emulator for the hardware that ran the Multics operating system☆18Sep 6, 2020Updated 6 years ago
- kvmm is a type2 hypervisor that uses the Linux Kernel Virtual Machine(KVM).☆13Feb 5, 2021Updated 5 years ago
- A 3D Cellular Automaton that amazes, entertains, and informs. Companion piece to arxiv.org/abs/1206.2060 -- and fun in its own right!☆18May 2, 2018Updated 8 years ago
- Language Model Toolkit☆12Feb 7, 2023Updated 3 years ago
- wip 3/4 stuff☆16Oct 12, 2020Updated 6 years ago
- Scripts and instructions to build FreeBSD for the Pine64 board☆11Apr 17, 2017Updated 9 years ago
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated 2 years ago
- How to create an OS from scratch☆17Apr 22, 2018Updated 8 years ago
- VarkOS - A bare metal implementation of a custom OS kernel, targeted at the RaspberryPi board. This project serves a test bed for experim…☆10Feb 1, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An abstract-random-access compliant module for reading files in the browser using the FileReader API and browserify.☆18May 13, 2018Updated 8 years ago
- Bare metal Commodore 64 emulation on Raspberry Pi☆30Oct 28, 2013Updated 13 years ago
- A POSIX-compliant but modernized, graphical operating system for x86_64.☆76Nov 6, 2024Updated last year
- Stupidly Simple Audio Streaming Library☆17Sep 7, 2016Updated 10 years ago
- Providing additional features for Jodel via the Xposed Framework☆31Mar 29, 2018Updated 8 years ago
- A modern bootloader with no legacy components☆20Nov 20, 2023Updated 2 years ago
- a tiny wrapper around inversify and inversify-inject-decorators for @service @store @autowire etc. stereotypes☆13Mar 7, 2018Updated 8 years ago