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:
- Make a simple os to learn Linux Kernel☆33Oct 12, 2020Updated 5 years ago
- 第二版重新设计和构思，参考一些优秀的实现进行补充设计和编码。☆485Apr 9, 2020Updated 6 years ago
- hurlex 小内核分章节代码和文档☆1,038Aug 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
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Yet another tiny OS☆17Jul 28, 2017Updated 8 years ago
- Transform ES6+ to ruff runable code☆10Dec 15, 2023Updated 2 years ago
- An unix-like toy kernel☆740Jun 14, 2021Updated 4 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
- ☆153Mar 26, 2026Updated 2 weeks ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- POSIX-compatible tiny multi-threading library for Intel Nios II / Xilinx Zynq-7000☆13Jun 14, 2020Updated 5 years ago
- A simple redis client☆29Apr 23, 2018Updated 7 years ago
- Migrated to Codeberg: https://codeberg.org/oyvindstegard/ox-tagfilter-js☆12Mar 30, 2026Updated last week
- Userspace helper for uvesafb.☆24May 29, 2014Updated 11 years ago
- open source ipmi server implementation for power monitoring☆16Nov 3, 2014Updated 11 years ago
- ☆32Dec 16, 2018Updated 7 years ago
- Aim to be a simple, easy-to-use programming language. Let's write relatively safe code without too much cognitive load.☆24Apr 1, 2026Updated last week
- Reflect and Upgrade Edition For gisp☆35Aug 6, 2018Updated 7 years ago
- Toddler is a well-designed usable and portable microkernel OS☆75Sep 1, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- A multi-thread Redis implementation with RCU☆18May 22, 2025Updated 10 months ago
- this is obsolete. please go to https://github.com/bitzhuwei/GrammarMentor☆18Jul 7, 2021Updated 4 years ago
- Tiny OS kernel for Tsinghua OS course☆47Aug 8, 2014Updated 11 years ago
- Download images from Konachan.com for OS X☆14Sep 28, 2015Updated 10 years ago
- HiStar operating system (not under active development)☆32Apr 11, 2018Updated 8 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☆38May 6, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/book-cs☆12Mar 14, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆13Oct 8, 2018Updated 7 years ago
- UEFI アプリケーションで、英日中韓台のアウトライン・フォント表示を行うサンプル・プログラムです。☆14Mar 26, 2022Updated 4 years ago
- ☆10Nov 16, 2023Updated 2 years ago
- Riot is a distributed key/value system based at raft algorithm, leveldb and bitCask backend storage!!!☆107Jun 25, 2019Updated 6 years ago
- ☆27Jun 13, 2018Updated 7 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- Collection of graphs with communities and ground truth partition☆20Jan 5, 2024Updated 2 years ago