https://learningos.github.io/ucore_os_webdocs/
☆13Mar 3, 2020Updated 6 years ago
Alternatives and similar repositories for ucore_os_docs
Users that are interested in ucore_os_docs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- ☆15Apr 12, 2023Updated 3 years ago
- 中山大学人工智能实验 (2019 秋)：16 个实验、4 个项目，包含搜索算法、CSP、Prolog、EM 算法、朴素贝叶斯、强化学习等☆22Dec 15, 2020Updated 5 years ago
- 用verilog实现单周期cpu和流水线☆21Dec 26, 2019Updated 6 years ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 3 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.
- MIT操作系统工程的教学操作系统Xv6的源码剖析中文翻译项目，使用ANSI标准C重新在X86架构上实现Unix v6；☆11Apr 17, 2017Updated 9 years ago
- Example formalization of Game Theoretic concepts in Lean☆28Feb 14, 2025Updated last year
- Generated Rust of Apache Arrow spec☆17Jun 13, 2023Updated 2 years ago
- 電脳麻将の思考ルーチン☆20Mar 12, 2026Updated 2 months ago
- Accepted code for some OnlineJudges; mostly SJTU OJ; update off and on☆16Feb 18, 2022Updated 4 years ago
- 没分支的 rCore-Tutorial☆52Jan 8, 2026Updated 4 months ago
- 信息安全数学基础的课件、题目、算法实现☆25Sep 5, 2020Updated 5 years ago
- A ToyDB (for beginner) based on MIT 6.830 and CMU 15445☆30Jul 29, 2021Updated 4 years ago
- ☆29Jul 16, 2025Updated 10 months 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.
- Test loading order for Vim plugins☆15Mar 22, 2014Updated 12 years ago
- show and tell V3☆13Aug 1, 2017Updated 8 years ago
- Verilog实现的简单五级流水线CPU，开发平台：Nexys3☆40Jul 9, 2015Updated 10 years ago
- 野火STM32F103 MINI开发板 标准库教程配套代码☆11Aug 9, 2021Updated 4 years ago
- MINIX1.0 （OpenWATCOM + NASM）☆17Jan 5, 2019Updated 7 years ago
- ☆22Sep 1, 2021Updated 4 years ago
- C++ port of JUnit☆15Oct 30, 2011Updated 14 years ago
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- WIP GPU implmentation of apache arrow written in rust.☆32Oct 28, 2025Updated 6 months 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.
- Record Database learning☆13Dec 2, 2023Updated 2 years ago
- Jun's dotfiles☆25Jul 22, 2025Updated 10 months ago
- Project of hardware course group in Tongji University☆15Dec 26, 2019Updated 6 years ago
- ☆11Jun 12, 2023Updated 2 years ago
- A simple implementation of JSON.☆19Feb 26, 2017Updated 9 years ago
- CTF - Jarvis OJ 我的题解☆36Aug 11, 2019Updated 6 years ago
- 中文版 NASM Tutorial☆17Mar 29, 2015Updated 11 years ago
- an interpreter language.☆29Dec 1, 2023Updated 2 years ago
- 中山大学操作系统原理实验 (2019 春)：GCC+NASM 实模式操作系统，共包含 7 个实验项目☆37Mar 21, 2021Updated 5 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.
- 2020秋中山大学高性能计算课程课件与作业☆47Jan 25, 2021Updated 5 years ago
- 一个 xjb 写的 DB☆16May 17, 2020Updated 6 years ago
- LZW和哈夫曼编码一样，是无损压缩中的一种。该算法通过建立字典，实现字符重用与编码，适用于source中重复率很高的文本压缩。☆12Nov 7, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/python-cobra☆17Jul 23, 2015Updated 10 years ago
- 快速陷入处理☆40Jan 22, 2026Updated 4 months ago
- Infrastructure setup.☆10Jul 27, 2019Updated 6 years ago
- WM_IoT_SDK is the official Internet of Things software development kit from WinnerMicro, supporting 💻 Windows, and 🐧 Linux operating sy…☆23May 26, 2025Updated 11 months ago