melody-notpond / ilo-paliView external linksLinks
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
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆43May 20, 2024Updated last year
- 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☆18Nov 25, 2023Updated 2 years ago
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- experiments with the Rust type system, including a type-level brainfuck implementation☆36Nov 14, 2024Updated last year
- A collection of small games made using SDL and C/++.☆27Nov 5, 2025Updated 3 months ago
- Fast and clean schedule generator for IUers!☆11Jan 5, 2023Updated 3 years ago
- A Python client library for accessing IQM quantum computers☆13Mar 26, 2025Updated 10 months ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- A game engine in C☆21Updated this week
- no heccin way portal cubed rewrite☆15Feb 6, 2026Updated last week
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- General purpose Discord Bot with the hacker in mind☆12Nov 6, 2025Updated 3 months ago
- ☆10Apr 13, 2025Updated 10 months ago
- Source code for all my competitive programming activities☆13Dec 28, 2024Updated last year
- String OS from User Space!☆11Jun 5, 2023Updated 2 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
- ☆23Sep 22, 2021Updated 4 years ago
- Dump your Xbox game disks to usb☆13May 10, 2021Updated 4 years ago
- Take screenshot easly on Hyprland.☆10Nov 8, 2022Updated 3 years ago
- A filter cascade implementation in rust☆15Apr 5, 2023Updated 2 years ago
- An Operating System With A GUI, Written In C And NASM Assembly.☆10Sep 28, 2023Updated 2 years ago
- Fork of IA-16 port of Newlib -- added small and medium model support☆14Sep 22, 2025Updated 4 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)☆11Jul 17, 2025Updated 6 months ago
- webring for robots☆14Feb 5, 2026Updated last week
- Sources of the main KolibriOS site☆13Oct 9, 2025Updated 4 months ago
- ☆18Jan 8, 2026Updated last month
- A tool for building Lean4 .olean files from Lean3 export data☆10Jul 28, 2021Updated 4 years ago
- Moved to https://codeberg.org/MeatWheeze/NeepMeat☆15Oct 20, 2025Updated 3 months ago
- POC - Convert Logisim's diagram to Minecraft's redstone logic☆13Jul 20, 2019Updated 6 years ago
- A small fantasy computer and ISA☆12Dec 1, 2025Updated 2 months ago
- Lean 4 Metamath verifier☆22Dec 12, 2025Updated 2 months ago
- Giving up on the 4bbp layer matriculate for now.☆11May 1, 2020Updated 5 years ago
- Partial implementation of OpenGL 1.x for the Xbox using NXDK and PBKit☆16Dec 28, 2025Updated last month
- Linearizability Hoare Logic☆17Updated this week