ilo pali is a RISC V operating system featuring a microkernel.
☆10Jul 4, 2024Updated last year
Alternatives and similar repositories for ilo-pali
Users that are interested in ilo-pali are comparing it to the libraries listed below
Sorting:
- Minecraft clone implemented in Rust.☆11Dec 24, 2022Updated 3 years ago
- Simple operating system for QEMU's virt board.☆11Aug 25, 2021Updated 4 years ago
- A text processing utility in lisp☆12Jun 29, 2022Updated 3 years ago
- The Closey programming language☆13Jul 20, 2021Updated 4 years ago
- Tiny POSIX-like hobby OS written in C☆19Nov 25, 2023Updated 2 years ago
- experiments with the Rust type system, including a type-level brainfuck implementation☆36Nov 14, 2024Updated last year
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- A collection of small games made using SDL and C/++.☆27Nov 5, 2025Updated 4 months ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- An ambitious game engine written in C using the vulkan api☆21Feb 28, 2026Updated last week
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- A compiled actor-based programming language with type inference, designed for concurrent systems.☆44Mar 2, 2026Updated last week
- The first Demoscene for the Colour Maximite 2☆10Jun 28, 2021Updated 4 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- General purpose Discord Bot with the hacker in mind☆13Nov 6, 2025Updated 4 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- ☆23Sep 22, 2021Updated 4 years ago
- Fork of IA-16 port of Newlib -- added small and medium model support☆15Sep 22, 2025Updated 5 months ago
- An Operating System With A GUI, Written In C And NASM Assembly.☆10Sep 28, 2023Updated 2 years ago
- Dump your Xbox game disks to usb☆13May 10, 2021Updated 4 years ago
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Jul 17, 2025Updated 7 months ago
- Sources of the main KolibriOS site☆13Oct 9, 2025Updated 5 months ago
- Tool for generating graphics archive files for the 16-bit DOS games made by Id software.☆13Jun 24, 2023Updated 2 years ago
- ☆12Jan 22, 2026Updated last month
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Mystcraft 1, open sourced. Mystcraft Legacy is focused on extending the add-on support, mod compatibility, and usability of the original …☆15May 20, 2024Updated last year
- A small 3D game engine geared towards developing retro games.☆14Oct 8, 2024Updated last year
- Giving up on the 4bbp layer matriculate for now.☆11May 1, 2020Updated 5 years ago
- ☆18Jan 8, 2026Updated 2 months ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- A chat room where you can see messages as they get typed☆11Jan 27, 2026Updated last month
- Arkas game engine, meant as a spiritual successor to Build Engine☆21Updated this week
- Partial implementation of OpenGL 1.x for the Xbox using NXDK and PBKit☆16Dec 28, 2025Updated 2 months ago
- no heccin way portal cubed rewrite☆21Feb 26, 2026Updated last week
- ☆11Nov 16, 2025Updated 3 months ago
- Single file C library for decoding MPEG1 Video and MP2 Audio☆14Dec 9, 2025Updated 2 months ago
- A collection of demos for QB64.☆12Mar 15, 2020Updated 5 years ago