akiradeveloper / MikanOS.rsView external linksLinks
MikanOS in Rust
☆11Apr 11, 2021Updated 4 years ago
Alternatives and similar repositories for MikanOS.rs
Users that are interested in MikanOS.rs are comparing it to the libraries listed below
Sorting:
- An attempt to implement MikanOS in Rust.☆17Apr 10, 2022Updated 3 years ago
- MIDI to MML Converter☆34Jun 13, 2021Updated 4 years ago
- retro game development book helper☆37Apr 21, 2023Updated 2 years ago
- A website that helps downloading comic chapters from Bilibili ONLINE and FREE!☆10Nov 21, 2021Updated 4 years ago
- Distributed lock backed by Dynamodb☆11Dec 7, 2023Updated 2 years ago
- VS Code inspired text editor that mostly runs in a webworker☆11Updated this week
- 👻 Use Neovim to write in your browser. Everything you type in Neovim will be instantly updated in the browser (and vice versa).☆11May 1, 2025Updated 9 months ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- Prima JWKS-sync client implementation for Auth0☆10Dec 31, 2025Updated last month
- NovalJam 2018の掲載作品☆14Feb 15, 2018Updated 7 years ago
- AGS Tool for translating games writen on Adventure Game Studio engine.☆12May 4, 2018Updated 7 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- A Universal Backend For Old Builds Of Fortnite, Aiming To Be 1:1!☆13Dec 19, 2024Updated last year
- Custom google chat themes☆11Jan 6, 2023Updated 3 years ago
- Basically a browser that uses Samsung Smart TV as the user agent and goes to youtube.com/tv (YouTube Leanback).☆11Mar 29, 2024Updated last year
- Apple Open Directory to Samba 4 Active Directory Domain Controller migration tools☆12Jan 27, 2021Updated 5 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆11May 13, 2025Updated 9 months ago
- ☆10Apr 29, 2016Updated 9 years ago
- Japanese Translation of Monads are Elephants☆11Oct 19, 2011Updated 14 years ago
- Simple examples to demonstrate full-stack Rust audio plugin dev with baseplug and iced_audio☆14Dec 5, 2021Updated 4 years ago
- A tool to convert short animation loops to be played on MSX computers☆11Sep 22, 2021Updated 4 years ago
- A collection of tools to build secure Apps☆13Jan 24, 2022Updated 4 years ago
- ☆12Dec 30, 2025Updated last month
- Ported the glorious JUCE MIDI loader & "player" plugin from https://forum.juce.com/t/playing-a-midi-file-revisited/26646☆11Sep 9, 2022Updated 3 years ago
- Kernel Module that implements Paxos protocol☆11Oct 23, 2020Updated 5 years ago
- This repo hosts the famfs kernel patch sets as branches☆11Jan 18, 2026Updated 3 weeks ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11May 8, 2019Updated 6 years ago
- La Fril, mola mil! (WORK IN PROCESS)☆11Aug 14, 2025Updated 5 months ago
- Dotfiles and scripts☆13Updated this week
- Official InfiniBench: A Benchmark for Large Multi-Modal Models in Long-Form Movies and TV Shows☆19Nov 4, 2025Updated 3 months ago
- Miscellaneous stuff, mostly single-file tiny programs (GPLv3+)☆13Feb 5, 2026Updated last week
- Network Block Device for Distributed Storages, such as Gluster, Ceph, Azure, etc.☆12Apr 20, 2020Updated 5 years ago
- asynchronous deduplicator with optional LRU caching☆12Updated this week
- This plugin is for pasting formatted text and provide sub-menu options inside it to paste from user clipboard. The sub-menu will contain …☆12Jan 9, 2022Updated 4 years ago
- Application to work with images in the graphics mode 2 of TMS9918A☆11Mar 30, 2023Updated 2 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆20Updated this week
- Basic C++ library☆13Mar 21, 2023Updated 2 years ago
- ☆14Jun 2, 2025Updated 8 months ago
- ☆12Mar 24, 2024Updated last year