mini x86 Operating System <= 256KB
☆31Dec 14, 2025Updated 5 months ago
Alternatives and similar repositories for minios
Users that are interested in minios are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- Operating system with focus on portability, efficiency and minimalism.☆11Oct 12, 2025Updated 7 months ago
- Relax - it's new PL☆15Aug 8, 2021Updated 4 years ago
- a simple operating system☆10May 10, 2015Updated 11 years ago
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated last year
- 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.
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆20Jul 10, 2015Updated 10 years ago
- terminal client for browsing hacker news☆32Feb 8, 2025Updated last year
- Framework for reading and writing to binary files☆18Jul 13, 2019Updated 6 years ago
- Barebones RISC-V kernel template for Zig☆59Sep 7, 2025Updated 8 months ago
- VK PixelBattle 2019/2020/2023 bot☆15Jul 20, 2023Updated 2 years ago
- Vulkan raytracer/horror escape room☆14Jan 30, 2026Updated 3 months ago
- Virtual Machine Monitor/386 bare metal hypervisor. Run vm86 mode processes on a 386☆13Mar 16, 2016Updated 10 years ago
- An eXample Programming Language☆11Dec 20, 2018Updated 7 years ago
- A toy programming language written in Lua☆15Dec 28, 2022Updated 3 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.
- CMU's attack lab☆13Sep 7, 2023Updated 2 years ago
- Stalk whoever you want on Github☆13Feb 7, 2020Updated 6 years ago
- A single point of reference to guide all software development across HMRC.☆12Feb 13, 2026Updated 3 months ago
- Custom fonts for GoboLinux☆14Jun 14, 2022Updated 3 years ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated 2 years ago
- ☆14Sep 19, 2024Updated last year
- A pure Ruby ANSI C Parser.☆25Apr 25, 2012Updated 14 years ago
- Aroma of the Songs — Visualizing music in the form of intricate rose petals using moving cube traces.☆12Feb 5, 2026Updated 3 months ago
- Operating system built from "scratch" in C#, using Cosmos Kernel☆26Nov 17, 2020Updated 5 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.
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 4 months ago
- A macro processor made with rust, which aims to be a modern alternative to m4 macro processor.☆18Dec 5, 2024Updated last year
- Little toy programming language with an x86_64 code generator☆17Sep 30, 2017Updated 8 years ago
- Rapid prototyping parser generator☆17Mar 21, 2026Updated 2 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Json Doclet for Javadoc (Turn things into json. Fully fleged using Gson)☆11Jun 17, 2024Updated last year
- This is a central repository for accumulating all the write-ups relating to the CTF put on for batch 1 MLH fellows.☆11Dec 23, 2020Updated 5 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 3 months ago
- Lwt with async backend☆18Jan 2, 2014Updated 12 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.
- SDL Graphics Extension library☆10May 1, 2017Updated 9 years ago
- slides and materials for CS4803UWS at Georgia Tech, summer 2013, "UNIX Weapons School"☆25Aug 19, 2013Updated 12 years ago
- The best starting point for anyone looking to familiarize themselves with Nebula☆13Dec 20, 2025Updated 5 months ago
- Create native Ruby extensions from (almost) any ANTLR4 grammar.☆14Mar 31, 2026Updated last month
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- A Scheme interpreter with first-class continuations in circa 500 lines of Python code☆16Apr 9, 2020Updated 6 years ago
- Peer-to-peer NATS message routing and S3 object sync solution☆21May 5, 2026Updated 3 weeks ago