not-elm / mikanos-rsView external linksLinks
MikanOSをRustで製作したいプロジェクトです
☆10Dec 1, 2023Updated 2 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 experimental OS implementation with Rust☆30Mar 14, 2022Updated 3 years ago
- A Rust library which is useful to handle xHCI☆46Sep 2, 2024Updated last year
- TritiumOS - 32 bit Hobby Operating System☆32Feb 5, 2026Updated last week
- Database implementation from the scratch. The textbook is shown in the following link.☆41Oct 31, 2021Updated 4 years ago
- ☆12Feb 3, 2024Updated 2 years ago
- ☆10Oct 23, 2019Updated 6 years ago
- eBPF Tools - Tool for monitoring, performance benchmarking and tracing linux kernel☆16Jan 29, 2021Updated 5 years ago
- Useful Monads in Elm☆10Feb 8, 2016Updated 10 years ago
- A chatterbot written in pure python3☆17Dec 24, 2021Updated 4 years ago
- Submit your work to JOJ via CLI.☆10Jul 24, 2024Updated last year
- interprets lambda calculus☆10Dec 1, 2025Updated 2 months ago
- Elm bindings for regl.☆12Jun 19, 2025Updated 7 months ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 7 months ago
- This is the code used in a tutorial called "Build a Discord bot with Rust and Serenity"☆10Sep 29, 2020Updated 5 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆17Feb 10, 2026Updated last week
- ☆11Jul 9, 2023Updated 2 years ago
- ざっくりAWSのfunction☆11Dec 30, 2025Updated last month
- Focus tree and Event manager for Heart of Iron IV☆11May 8, 2021Updated 4 years ago
- Twitter スペースでコメントを読み上げるツール (VOICEVOX 使用)☆12Jul 19, 2022Updated 3 years ago
- Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024☆15Nov 28, 2024Updated last year
- #[derive(Iterator, DoubleEndedIterator, ExactSizeIterator, FusedIterator, Extend)] for enums.☆15Feb 9, 2026Updated last week
- Kickstart your Rust, WebAssembly, and Parcel project!☆11Feb 28, 2020Updated 5 years ago
- UDT: UDP-based Data Transfer Protocol☆11Apr 21, 2018Updated 7 years ago
- 2009年発売の書籍「プログラミング言語を作る」のサンプルプログラムです☆11Jul 24, 2022Updated 3 years ago
- C++20 DI Library☆13Sep 29, 2023Updated 2 years ago
- Simple macroquad project to make you feel better :)☆10May 30, 2022Updated 3 years ago
- C++のThe Elm Architectureぽいゲームライブラリ☆10Mar 19, 2020Updated 5 years ago
- New generation of Canvas Helper.☆12Jul 15, 2024Updated last year
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Apr 21, 2024Updated last year
- Markdown renderer and other site generator tools.☆12Aug 24, 2025Updated 5 months ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- Strongly-typed Rust code generation for AWS Lambda from OpenAPI definitions☆15Updated this week
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Mar 29, 2024Updated last year
- A Node.js library for formatting HTML strings☆13Apr 5, 2025Updated 10 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- A Thoroughly Tested Verilog Implementation of a Z80 Compatible Processor Architecture☆16Mar 31, 2021Updated 4 years ago
- 拙著『パズルで鍛えるアルゴリズム力』の補足資料☆13Jun 2, 2022Updated 3 years ago
- RISC-V (rv32imf) CPU implemented in System Verilog for cpuex2019 @ UTokyo☆13Mar 7, 2020Updated 5 years ago
- AtCoder with C++, Go, & Rust☆11Mar 7, 2023Updated 2 years ago