casys-kaist / KeOSView external linksLinks
KAIST educational Operating System (KeOS) for Operating Systems and Lab (CS330)
☆61Dec 2, 2025Updated 2 months ago
Alternatives and similar repositories for KeOS
Users that are interested in KeOS are comparing it to the libraries listed below
Sorting:
- A simple Rust and WebAssembly example implementing the Game of Life☆15Aug 4, 2021Updated 4 years ago
- ⚡️ Animated Twitter clone using Next.js, Firebase, Recoil, Framer Motion☆13Sep 26, 2021Updated 4 years ago
- ☆293Nov 27, 2024Updated last year
- ☆36Nov 7, 2025Updated 3 months ago
- ☆10Sep 18, 2024Updated last year
- Deploy a dedicated or consumption based Function App with all dependencies and minimal config☆11Apr 12, 2018Updated 7 years ago
- 두물머리의 새 동료를 찾습니다.☆14Jan 18, 2019Updated 7 years ago
- Docker compose setup that makes it simple to run one or multiple headless miners for Nine Chronicles, a blockchain-based idle game I some…☆11Jan 27, 2021Updated 5 years ago
- ☆12Jan 19, 2023Updated 3 years ago
- Unofficial Node.js API client for the Caret HTTP API☆16Aug 27, 2025Updated 5 months ago
- A collaborative pixel art web tool for creating new art every day.☆12Dec 31, 2022Updated 3 years ago
- setup Crystal action for GitHub Actions.☆11Mar 7, 2024Updated last year
- Non-EVM chain tutorial for MetaMask Snaps: create a Dogecoin wallet☆11Jun 23, 2023Updated 2 years ago
- A library which provides simple functional pattern matching. (PoC)☆10Feb 19, 2020Updated 5 years ago
- ☆14Nov 11, 2025Updated 3 months ago
- A WebAssembly-based plugin API for Minecraft servers☆10Mar 4, 2021Updated 4 years ago
- JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes☆14Mar 10, 2024Updated last year
- Voxel-based MMORPG server using Rust☆11Sep 9, 2021Updated 4 years ago
- Some boilerplate code used across the @actions-rs Actions☆11Jan 3, 2022Updated 4 years ago
- Let's learn GlueSQL 🎱☆13Apr 29, 2023Updated 2 years ago
- The data of Competitive Programming Contest Editorials☆10Feb 25, 2025Updated 11 months ago
- Create an IAM OIDC for AWS EKS and an IAM role to be used in the PODs☆11Jan 22, 2021Updated 5 years ago
- 레나 오픈소스 프로젝트☆10Updated this week
- Generates profile card based on Discord profile☆10Feb 7, 2026Updated last week
- Golang library for testing slack RTM chatbots☆12Apr 26, 2019Updated 6 years ago
- ⚙️ The bolierplate for ReScript + Tauri☆14Feb 22, 2021Updated 4 years ago
- TypeDoc plugin for Deno Api Simplified Chinese☆12Jan 22, 2026Updated 3 weeks ago
- Let's contribute to open source! (2022)☆12Oct 2, 2022Updated 3 years ago
- ABANDONED. Haskell interface to Naver Translate☆10Oct 15, 2015Updated 10 years ago
- ☆11Apr 27, 2024Updated last year
- Valhalla 🤝 🦀☆20Jan 22, 2026Updated 3 weeks ago
- Core utility functions used by esbuild-kit projects☆13Sep 19, 2023Updated 2 years ago
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆20Dec 10, 2025Updated 2 months ago
- A minimal Helm starter☆15Apr 5, 2017Updated 8 years ago
- GDSC 고려대학교 nestJS 강의☆17Nov 29, 2023Updated 2 years ago
- A command line tool that compares two versions of a NuGet package and provides public API differences☆14Feb 24, 2025Updated 11 months ago
- Common data structures and algorithms for competitive programming in Rust☆16Dec 21, 2021Updated 4 years ago
- KLMS. Redesigned.☆10Aug 28, 2022Updated 3 years ago
- 🏃♀️ My Ring Fit Adventure Exercise Log with GitHub Actions + OCR☆13Mar 13, 2023Updated 2 years ago