A toy OS for educational purposes.
☆13Jan 29, 2018Updated 8 years ago
Alternatives and similar repositories for aihPOS
Users that are interested in aihPOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Z-IX: Zentralwerk Intranet Exchange☆16Apr 25, 2021Updated 5 years ago
- Parts of Nix ported to Rust☆37Jan 3, 2026Updated 4 months ago
- An Experimental Web Browser Engine written in Rust☆16Apr 9, 2019Updated 7 years ago
- Async test/bench toolkit including single stepping executors. No-std compatible.☆14Sep 19, 2021Updated 4 years ago
- A DNS client command-line tool, with aspirations to be a swiss army knife when it has grown up.☆11Apr 22, 2026Updated last month
- 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.
- Script to add grml (from grml.org) and more stuff to a USB key☆12Dec 20, 2017Updated 8 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- a simple script to simulate random "cosmic ray" memory errors against a linux process☆13May 14, 2024Updated 2 years ago
- A private HTTP torrent tracker written in Node.js☆12Mar 30, 2026Updated last month
- PageRank applied to the GitHub users/follows graph☆29Jan 4, 2010Updated 16 years ago
- ☆12Sep 12, 2022Updated 3 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Nonequispaced FFTs on GPUs (based on NFFT: http://www.nfft.org)☆11Apr 30, 2018Updated 8 years ago
- stream abstraction designed for use with nom☆14Jul 25, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An experiment for a Node.JS-based WebDAV server☆14Feb 6, 2011Updated 15 years ago
- Small racing-game demo in Pyxel (Python)☆11Feb 14, 2024Updated 2 years ago
- nix ipam implantation - your documentation is your configuration☆24May 20, 2024Updated 2 years ago
- Unbound data structures in Ada-Spark.☆13Feb 6, 2022Updated 4 years ago
- media.ccc.de media library application for webOS. Think of it as a Netflix for hackers☆17Jan 18, 2026Updated 4 months ago
- Linux based all-in-one communication server☆17Nov 7, 2015Updated 10 years ago
- An arena-inspired interner for strings☆14Jul 2, 2020Updated 5 years ago
- CopperBoy is a portable fully working Arduboy emulator written in Rust.☆19May 21, 2024Updated 2 years ago
- ☆17Jan 26, 2026Updated 4 months 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.
- The Rust standard library, but in C++☆13Mar 14, 2023Updated 3 years ago
- A process for Ada/SPARK software to meet ISO 26262☆28Jul 8, 2025Updated 10 months ago
- Strongly-typed, minimal-ish, stack-based development at storm-force speed.☆13Aug 16, 2023Updated 2 years ago
- Calculates the maximum stack depth required by GCC-compiled code☆11Aug 28, 2024Updated last year
- Embeddable ED in rust☆20Jan 17, 2026Updated 4 months ago
- A cryptographic framework, proven for correctness in SPARK☆15Dec 16, 2024Updated last year
- Fahrkartenautomaten in OSM☆18Jun 2, 2020Updated 5 years ago
- German parliament (Bundestag and Bundesrat) legislative tracker. Also check the updated crawlers at http://github.com/bundestag☆29Sep 23, 2024Updated last year
- An attempt to develop standards for PII redaction.☆17Mar 9, 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.
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 4 months ago
- ☆17May 31, 2022Updated 3 years ago
- Arduino library for the Micro:Gamer console☆12Jan 29, 2019Updated 7 years ago
- rust opensoundcontrol implementation☆22Nov 15, 2017Updated 8 years ago
- raspberry ada library☆11Jul 7, 2019Updated 6 years ago
- Script to automate the installation of the GNAT Community Installers☆18Nov 13, 2019Updated 6 years ago
- A maubot to check the version of servers in rooms☆19Aug 13, 2025Updated 9 months ago