KAIST educational Operating System (KeOS) and KAIST educational Virtualization (KeV)
☆73Mar 26, 2026Updated 4 months ago
Alternatives and similar repositories for KeOS
Users that are interested in KeOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- KAIST Taxi Party Matching Web Service☆21Jun 2, 2026Updated last month
- ☆301Apr 23, 2026Updated 3 months ago
- ☆58Jul 8, 2026Updated 2 weeks ago
- ☆25Aug 21, 2024Updated last year
- Online Timeplanner with Lectures Plus App @ KAIST☆14Updated this week
- 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.
- 2025년 고려대학교 MatKor 스터디 - C++로 SQLIte 만들기☆20Jun 7, 2025Updated last year
- Python으로 밑바닥부터 직접 만들어보는 DBMS.☆15Feb 20, 2026Updated 5 months ago
- 🎼 A site that simplifies the Syncroom interface and adds useful features☆10Feb 29, 2024Updated 2 years ago
- SHENZHEN I/O 한국어 번역☆12Jan 20, 2023Updated 3 years ago
- A Machine Learning Framework for High Performance written in Rust☆28Sep 1, 2022Updated 3 years ago
- ☆46Nov 20, 2024Updated last year
- Everytime clone coding app with flutter ⏰☆15Dec 24, 2021Updated 4 years ago
- ☆234Apr 18, 2025Updated last year
- KAIST CS420: Compiler Design☆564Apr 3, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- Computational Hardness 스터디☆19Apr 5, 2023Updated 3 years ago
- The RR Compiler☆22May 5, 2026Updated 2 months ago
- ☆12May 30, 2024Updated 2 years ago
- ⚡️ Animated Twitter clone using Next.js, Firebase, Recoil, Framer Motion☆13Sep 26, 2021Updated 4 years ago
- Official Code for "Monte Carlo Tree Diffusion for System 2 Planning" and "Fast Monte Carlo Tree Diffusion: 100x Speedup via Parallel and …☆29Aug 21, 2025Updated 11 months ago
- My recommended computer programming book list☆12May 31, 2022Updated 4 years ago
- KAIST Community Ara Renewal Project☆21Feb 25, 2026Updated 5 months ago
- KAIST Taxi Party Matching Web Service☆18Jun 2, 2026Updated last month
- 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 way to ruin my body and mind badly☆16Oct 2, 2024Updated last year
- ☆19Nov 5, 2023Updated 2 years ago
- 2022년 온라인 스터디 - Rust로 만드는 컴파일러☆33Feb 15, 2022Updated 4 years ago
- JSON/YAML Type Checker☆15Mar 8, 2026Updated 4 months ago
- Jane Street ETC - October 14, 2023☆21Oct 15, 2023Updated 2 years ago
- meiliNG: Easy Identity/Login Infrastructure, Next Generation. Supports oAuth2 and OpenID Connect specifications☆22Dec 31, 2025Updated 6 months ago
- 한글/한자 입력기 for Neovim. OS-independent Korean input method that converts English inputs to Korean in-place.☆40Jan 28, 2026Updated 5 months ago
- Let's learn GlueSQL 🎱☆13Apr 29, 2023Updated 3 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Upscale Twitch stream and restream into Twitch or RTMP or File.☆17Sep 16, 2023Updated 2 years ago
- An attempt to manage dotfiles, again. Windows (MSYS2), macOS, Linux and FreeBSD compatible.☆19Jul 9, 2026Updated 2 weeks ago
- Boost ast.parse with RustPython-powered parser technology☆15May 23, 2023Updated 3 years ago
- Wave Programming Language | git mirror: https://source.wave-lang.dev/Wave.git☆44Jun 20, 2026Updated last month
- ☆35Nov 7, 2025Updated 8 months ago
- A bot to get perfect score for the Fruit Box game☆13Apr 20, 2023Updated 3 years ago
- ☆22Jun 18, 2021Updated 5 years ago