https://learningos.github.io/ucore_os_webdocs/
☆13Mar 3, 2020Updated 5 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
Sorting:
- os kernel labs for operating systems course in Tsinghua University.☆32Mar 6, 2022Updated 3 years ago
- A full-featured Foundry VTT game system compatible with popular fantasy RPGs from the 1980s and 1990s. Its flexible setup options ensure …☆15Feb 17, 2026Updated last week
- A ToyDB (for beginner) based on MIT 6.830 and CMU 15445☆30Jul 29, 2021Updated 4 years ago
- PDF Pager for Foundry☆12Feb 10, 2026Updated 2 weeks ago
- Kernel part subproject for GNU TeXmacs, GSoC only☆36Nov 9, 2019Updated 6 years ago
- Allows you to have webpages open inside Foundry VTT☆11Oct 27, 2025Updated 4 months ago
- libev from http://software.schmorp.de/pkg/libev.html , add some comments and delete some unneed compenents☆11Apr 12, 2014Updated 11 years ago
- kubernetes client to☆11May 27, 2022Updated 3 years ago
- 十七地 - 你的万智牌：竞技场坐牢小助手☆15Updated this week
- A library of replicated state machine algorithms is based on Viewstamped Replication Revisited☆14Feb 6, 2021Updated 5 years ago
- Infrastructure setup.☆10Jul 27, 2019Updated 6 years ago
- Olympia is a storage-only open catalog format for big data analytics, ML & AI.☆16May 5, 2025Updated 9 months ago
- 没分支的 rCore-Tutorial☆49Jan 8, 2026Updated last month
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆12Apr 16, 2024Updated last year
- An embedded key/value database for Go.☆10Apr 3, 2021Updated 4 years ago
- MIT操作系统工程的教学操作系统Xv6的源码剖析中文翻译项目，使用ANSI标准C重新在X86架构上实现Unix v6；☆11Apr 17, 2017Updated 8 years ago
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- 通过系统编程学习Rust☆10Mar 8, 2022Updated 3 years ago
- Introduction to PyTorch: A comprehensive Chinese course available at the provided link.☆10Aug 1, 2023Updated 2 years ago
- Sample fastAPI Application to demonstrate OpenTelemetry instrumentation☆19Jul 26, 2025Updated 7 months ago
- ☆18Apr 5, 2025Updated 10 months ago
- 大模型技术30讲（原版），30 Essential Questions and Answers on Machine Learning and AI，百面大模型☆28Aug 22, 2025Updated 6 months ago
- Open Source Simple Web Crawler for Java. Simple Flexible And Lightweight☆29Sep 1, 2022Updated 3 years ago
- A clean and modern UI for Foundry VTT. Inspired by MacOS/IOS using flat interface and glasslike surfaces.☆12Dec 4, 2022Updated 3 years ago
- TPCH benchmark tool for databend☆11Nov 15, 2022Updated 3 years ago
- Leibniz formula for π☆13Oct 2, 2019Updated 6 years ago
- Simple examples for extending Python with C/C++☆11Aug 2, 2016Updated 9 years ago
- ☆14Oct 23, 2017Updated 8 years ago
- ☆10Sep 8, 2022Updated 3 years ago
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆10Jul 12, 2020Updated 5 years ago
- Developing Event-driven Microservices with Spring Boot, Confluent Cloud, Kotlin, and Java☆11Oct 23, 2025Updated 4 months ago
- Learn LLVM Core Libraries, Second Edition, published by Packt☆12Jan 15, 2021Updated 5 years ago
- Ecosystem website for Apache Flink☆12Jan 22, 2024Updated 2 years ago
- A vagrant development environment for playing about with Apache Mesos & Marathon☆12Mar 9, 2015Updated 10 years ago
- ☆13Apr 10, 2017Updated 8 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- 当 react 遇到 meteor 中文书☆10Aug 6, 2015Updated 10 years ago
- ☆10Mar 15, 2019Updated 6 years ago
- Generated Rust of Apache Arrow spec☆17Jun 13, 2023Updated 2 years ago