KAIST educational Operating System (KeOS) and KAIST educational Virtualization (KeV)
☆65Mar 1, 2026Updated this week
Alternatives and similar repositories for KeOS
Users that are interested in KeOS are comparing it to the libraries listed below
Sorting:
- ⚡️ Animated Twitter clone using Next.js, Firebase, Recoil, Framer Motion☆13Sep 26, 2021Updated 4 years ago
- ☆36Nov 7, 2025Updated 4 months ago
- 두물머리의 새 동료를 찾습니다.☆14Jan 18, 2019Updated 7 years ago
- Deploy a dedicated or consumption based Function App with all dependencies and minimal config☆11Apr 12, 2018Updated 7 years ago
- 2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기☆13Jun 22, 2025Updated 8 months 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
- ☆10Sep 18, 2024Updated last year
- Non-EVM chain tutorial for MetaMask Snaps: create a Dogecoin wallet☆11Jun 23, 2023Updated 2 years ago
- Let's learn GlueSQL 🎱☆13Apr 29, 2023Updated 2 years ago
- 😼Help the cat escape☆10May 10, 2020Updated 5 years ago
- A WebAssembly-based plugin API for Minecraft servers☆10Mar 4, 2021Updated 5 years ago
- Unofficial Node.js API client for the Caret HTTP API☆17Feb 11, 2026Updated 3 weeks ago
- A collaborative pixel art web tool for creating new art every day.☆12Dec 31, 2022Updated 3 years ago
- The data of Competitive Programming Contest Editorials☆10Feb 11, 2026Updated 3 weeks ago
- Some boilerplate code used across the @actions-rs Actions☆11Jan 3, 2022Updated 4 years ago
- ☆12Jan 19, 2023Updated 3 years ago
- Create an IAM OIDC for AWS EKS and an IAM role to be used in the PODs☆11Jan 22, 2021Updated 5 years ago
- setup Crystal action for GitHub Actions.☆11Mar 7, 2024Updated 2 years ago
- Let's contribute to open source! (2022)☆12Oct 2, 2022Updated 3 years ago
- ⚙️ The bolierplate for ReScript + Tauri☆14Feb 22, 2021Updated 5 years ago
- Golang library for testing slack RTM chatbots☆12Apr 26, 2019Updated 6 years ago
- JCS (JSON Canonicalization Scheme), JSON digests, and JSON Merkle hashes☆16Mar 10, 2024Updated last year
- ABANDONED. Haskell interface to Naver Translate☆10Oct 15, 2015Updated 10 years ago
- 레나 오픈소스 프로젝트☆10Feb 11, 2026Updated 3 weeks ago
- Generates profile card based on Discord profile☆10Feb 27, 2026Updated last week
- ☆11Apr 27, 2024Updated last year
- KLMS. Redesigned.☆10Aug 28, 2022Updated 3 years ago
- 백준 문제 풀이 저장소☆11Updated this week
- 📚 (WIP) Formal proofs of "An Infinitely Large Napkin"☆20Feb 18, 2026Updated 2 weeks ago
- My profiles for macOS Terminal.app☆12Nov 27, 2021Updated 4 years ago
- Common data structures and algorithms for competitive programming in Rust☆17Dec 21, 2021Updated 4 years ago
- 영어 공부법을 잘 모르겠고 동기부여에 어려움을 겪는 한국어 모어 영어 학습자를 위한 공부법 안내 리포지토리입니다.☆21Aug 30, 2025Updated 6 months ago
- Compress JSON trees by deduplicating nested objects, strings, and numbers☆15Feb 12, 2022Updated 4 years ago
- Registers the `Deno.tracing` API as an exporter with the OpenTelemetry library.☆17Nov 18, 2024Updated last year
- 🏌️ a fun challenge to compress 1M rows to the smallest possible size☆53Feb 24, 2026Updated last week
- A minimal Helm starter☆15Apr 5, 2017Updated 8 years ago
- Valhalla 🤝 🦀☆22Jan 22, 2026Updated last month
- Terminal Commands API for the Lethal Company Modding API☆11Feb 17, 2024Updated 2 years ago
- 🏃♀️ My Ring Fit Adventure Exercise Log with GitHub Actions + OCR☆13Mar 13, 2023Updated 2 years ago