KAIST educational Operating System (KeOS) and KAIST educational Virtualization (KeV)
☆85Mar 26, 2026Updated 5 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:
- ☆302Apr 23, 2026Updated 4 months ago
- ☆61Aug 30, 2026Updated last week
- KAIST. Formal Languages and Automata. Fall semester.☆16Dec 9, 2025Updated 8 months ago
- ☆25Aug 21, 2024Updated 2 years ago
- Online Timeplanner with Lectures Plus App @ KAIST☆14Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 2025년 고려대학교 MatKor 스터디 - C++로 SQLIte 만들기☆19Jun 7, 2025Updated last year
- Modern Online Judge powered by Docker & Node☆10Jan 25, 2022Updated 4 years ago
- Build DBMS from scratch in Python.☆44Aug 18, 2026Updated 2 weeks ago
- A Machine Learning Framework for High Performance written in Rust☆28Sep 1, 2022Updated 4 years ago
- ☆46Nov 20, 2024Updated last year
- Everytime clone coding app with flutter ⏰☆15Dec 24, 2021Updated 4 years ago
- ☆233Apr 18, 2025Updated last year
- KAIST CS420: Compiler Design☆567Apr 3, 2025Updated last year
- KAIST Educational Virtualization☆16Mar 6, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 4 months ago
- ☆12May 30, 2024Updated 2 years ago
- Production-ready Rust web backend template.☆100Updated this week
- ⚡️ Animated Twitter clone using Next.js, Firebase, Recoil, Framer Motion☆13Sep 26, 2021Updated 4 years ago
- A simple Rust and WebAssembly example implementing the Game of Life☆14Aug 4, 2021Updated 5 years ago
- 댓글까지 긁는 DCInside 크롤러☆11May 10, 2016Updated 10 years ago
- My recommended computer programming book list☆12May 31, 2022Updated 4 years ago
- 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.
- ☆83Mar 2, 2026Updated 6 months ago
- the way to ruin my body and mind badly☆16Oct 2, 2024Updated last year
- KAIST Taxi Party Matching Web Service☆18Jun 2, 2026Updated 3 months ago
- ☆19Nov 5, 2023Updated 2 years ago
- 2022년 온라인 스터디 - Rust로 만드는 컴파일러☆33Feb 15, 2022Updated 4 years ago
- JSON/YAML Type Checker☆14Mar 8, 2026Updated 5 months ago
- Jane Street ETC - October 14, 2023☆23Oct 15, 2023Updated 2 years ago
- meiliNG: Easy Identity/Login Infrastructure, Next Generation. Supports oAuth2 and OpenID Connect specifications☆23Aug 30, 2026Updated last week
- 한글/한자 입력기 for Neovim. OS-independent Korean input method that converts English inputs to Korean in-place.☆40Jan 28, 2026Updated 7 months ago
- 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.
- Let's learn GlueSQL 🎱☆13Apr 29, 2023Updated 3 years ago
- ☆12Feb 4, 2024Updated 2 years ago
- Allowing you to copy and right-click on websites.☆26Nov 27, 2021Updated 4 years ago
- 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 last month
- My Github Profile☆28Aug 23, 2026Updated 2 weeks ago
- Boost ast.parse with RustPython-powered parser technology☆15May 23, 2023Updated 3 years ago