The HaribOS kernel
☆14May 29, 2025Updated last year
Alternatives and similar repositories for GummyKernel
Users that are interested in GummyKernel 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 UEFI bootloader for the HaribOS operating system☆24Sep 20, 2025Updated 11 months ago
- Experimental zig kernel☆16Aug 31, 2026Updated last week
- Multiplatform operating system kernel☆10Oct 5, 2024Updated last year
- 🥞 A simple heap allocation library for hobby operating systems.☆19Jan 22, 2024Updated 2 years ago
- ☆18Nov 9, 2025Updated 9 months 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.
- 🌿 Your personal operating system in Python called MaxPyOS.☆10Nov 8, 2022Updated 3 years ago
- Zig graphing library for graphs, and graph algos☆12Dec 19, 2021Updated 4 years ago
- Arduino and ESP32 simulator (Components wiring + code emulation)☆14Dec 20, 2021Updated 4 years ago
- Simple linked list implementation in Crystal☆12Mar 24, 2020Updated 6 years ago
- string building using comptime in zig☆17May 9, 2023Updated 3 years ago
- Collection of user macrosets for groff typesetting system☆10Mar 3, 2026Updated 6 months ago
- A hobby OS with a custom kernel and userspace, with many ported software including musl libc, SDL2 and even Qt5!☆24Mar 25, 2026Updated 5 months ago
- Obsidian is a simple operating system kernel written in C++.☆14Apr 19, 2021Updated 5 years ago
- dahliaOS brand assets☆14Nov 29, 2022Updated 3 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.
- ☆15Mar 24, 2026Updated 5 months ago
- ☆16Feb 15, 2022Updated 4 years ago
- Format strings, safely.☆20Sep 17, 2023Updated 2 years ago
- 🌐 The BRUTAL operating system project blog and landing page☆10May 29, 2022Updated 4 years ago
- C++17 meta programming library for fast compilation speed.☆11Jul 25, 2026Updated last month
- ☆18Jul 16, 2025Updated last year
- VSCode extension that allows to sort css properties in a logical and consistent order☆16Jun 15, 2025Updated last year
- A Github Copilot Clone☆20Mar 5, 2022Updated 4 years ago
- Improved Brainfuck☆20Updated this week
- 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.
- 🤖 A discord moderation bot and IRC bridge☆10Jul 17, 2024Updated 2 years ago
- mal - Make a Lisp☆14Jun 12, 2021Updated 5 years ago
- A port of Falling Turnip from Haskell to Futhark and Go☆26Apr 29, 2026Updated 4 months ago
- ☆22Oct 12, 2024Updated last year
- Beginner-friendly Verilog based examples for the ULX3S FPGA board.☆11Apr 25, 2022Updated 4 years ago
- A curated list of awesome F-Droid applications☆12Jan 7, 2023Updated 3 years ago
- A collection of software rendering routines☆21Jan 14, 2020Updated 6 years ago
- A simple pathtracer running on the gpu using vulkan (rewrite of my ansi-c-raytracer)☆14Dec 2, 2023Updated 2 years ago
- Lezione Operating System☆10May 27, 2021Updated 5 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.
- UGMMS (Unnamed GameMaker Mod System) is a work in progress modding framework for GameMaker: Studio and GameMaker Studio 2 games compiled …☆12Feb 26, 2022Updated 4 years ago
- Barn is a simple programming language written in C that is compiled to C.☆52Jul 21, 2024Updated 2 years ago
- Issues and proposals related to the HF Stability Working Group☆29Aug 31, 2026Updated last week
- PureScript Mock☆17Dec 24, 2023Updated 2 years ago
- Remake of OSIF by CiKu370☆15Dec 17, 2020Updated 5 years ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆28Aug 5, 2022Updated 4 years ago
- Linux kernel source tree☆25Aug 27, 2025Updated last year