Operating System - ECE 391 Takefive Interactive Team
☆96Jan 22, 2016Updated 10 years ago
Alternatives and similar repositories for TedkOS
Users that are interested in TedkOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 第二版重新设计和构思，参考一些优秀的实现进行补充设计和编码。☆485Apr 9, 2020Updated 6 years ago
- hurlex 小内核分章节代码和文档☆1,034Aug 9, 2021Updated 4 years ago
- Utilities for geek.☆10Mar 20, 2016Updated 10 years ago
- [VL/HCC 2017] TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences☆12Sep 2, 2017Updated 8 years ago
- Yet another tiny OS☆17Jul 28, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Transform ES6+ to ruff runable code☆10Dec 15, 2023Updated 2 years ago
- UEFI app to load ELF and Raw binary☆30May 5, 2015Updated 11 years ago
- An unix-like toy kernel☆740Jun 14, 2021Updated 4 years ago
- My solutions of exercises in SICP.☆21Aug 14, 2012Updated 13 years ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- ☆51Jun 26, 2020Updated 5 years ago
- rpc framework for game editor☆29Dec 4, 2014Updated 11 years ago
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆36Jul 24, 2011Updated 14 years ago
- ☆152May 6, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- ☆15Feb 15, 2017Updated 9 years ago
- C++11 textbook (Chinese Translation)☆11Mar 29, 2016Updated 10 years ago
- A simple redis client☆29Apr 23, 2018Updated 8 years ago
- open source ipmi server implementation for power monitoring☆16Nov 3, 2014Updated 11 years ago
- Aim to be a simple, easy-to-use programming language. Let's write relatively safe code without too much cognitive load.☆25May 10, 2026Updated last week
- ☆32Dec 16, 2018Updated 7 years ago
- ☆114Jan 24, 2020Updated 6 years ago
- Tiny OS kernel for Tsinghua OS course☆47Aug 8, 2014Updated 11 years ago
- 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.
- Yet another scheme compiler... This time generating shitty code.☆18Apr 10, 2013Updated 13 years ago
- A UEFI Application that hooks SetVariable to allow a user-space program to access kernel memory.☆20Jun 15, 2020Updated 5 years ago
- A bare metal port of the GNU ISO C++ library☆37May 6, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/book-cs☆12Mar 14, 2015Updated 11 years ago
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆13Oct 8, 2018Updated 7 years ago
- python tech☆15May 18, 2025Updated last year
- UEFI アプリケーションで、英日中韓台のアウトライン・フォント表示を行うサンプル・プログラムです。☆14Mar 26, 2022Updated 4 years ago
- Package session is a middleware that provides the session management for Flamego☆11May 2, 2026Updated 2 weeks ago
- A hobby OS☆54Nov 23, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Header only C++ plotting interface for Gnuplot☆10Nov 13, 2019Updated 6 years ago
- A probabilistic CKY parser for PCFGs☆19Mar 12, 2014Updated 12 years ago
- Various UEFI utilities built against UDK2017. Includes X64 binaries.☆45Mar 29, 2021Updated 5 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Brianfuck compiler and JIT runner☆77Nov 30, 2025Updated 5 months ago
- Concurrency Bug Vulnerability Analysis☆12Sep 4, 2017Updated 8 years ago