Linux kernel labs
☆55Jun 10, 2021Updated 5 years ago
Alternatives and similar repositories for linux-kernel-labs
Users that are interested in linux-kernel-labs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SJTU 中文简约 LaTeX 报告模板☆10Jun 7, 2021Updated 5 years ago
- 🌟 Notes and codes for Linux Kernel (SJTU-CS353)☆25Jun 22, 2021Updated 5 years ago
- The open-source library seat booking system☆16Jun 1, 2021Updated 5 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- 写的快糙猛的课程作业（躺☆11May 2, 2020Updated 6 years 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.
- A customizable reverse proxy with cache☆31Mar 25, 2023Updated 3 years ago
- ☆17Apr 3, 2022Updated 4 years ago
- 演讲《GPU 驱动的发行版适配》☆11Mar 18, 2024Updated 2 years ago
- SJTU-EI332 计算机组成实验 pipelined cpu☆12Jun 11, 2020Updated 6 years ago
- A fake SSH tarpit that logs passwords and commands from attackers☆38Jun 7, 2026Updated 4 months ago
- Oh-My-Papers: a Hybrid Context-aware Paper Recommendation System☆27Jun 18, 2023Updated 3 years ago
- ☆20Dec 11, 2024Updated last year
- LUG @ USTC Technical Documentation☆24Sep 30, 2026Updated last week
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 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.
- An open-source anonymous forum frontend.☆56Aug 28, 2021Updated 5 years ago
- ☆12Mar 5, 2026Updated 7 months ago
- Mirror management tool, developed and used in-house in USTC☆62Updated this week
- Proyecto base para el compilador de 4to año en Ciencia de la Computación.☆14Feb 13, 2021Updated 5 years ago
- ☆21Sep 15, 2026Updated 3 weeks ago
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 9 years ago
- mirror of https://github.com/rcore-os/rCore-Tutorial-Book-v3☆19Feb 16, 2023Updated 3 years ago
- A WIP Float32 soft FPU implementation☆22Jun 25, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.☆325Jun 15, 2021Updated 5 years ago
- Utilities and wrappers for Python matplotlib to make plot easier.☆14Apr 13, 2026Updated 5 months ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 3 years ago
- Fonts from http://wps-community.org/☆11Jun 6, 2020Updated 6 years ago
- Linux 101 is a course organized by several members of LUG@USTC. It is designed to popularize Linux and open source culture in USTC. First…☆25Mar 14, 2020Updated 6 years ago
- linux-kernel-lab to master the detail of linux kernel.☆15Jul 13, 2019Updated 7 years ago
- Counter Strike: Global Offensive FPGA Version (LOL)☆15Mar 11, 2017Updated 9 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆247May 16, 2021Updated 5 years ago
- ☆28Sep 17, 2026Updated 3 weeks ago
- AI Agents on 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.
- tuna artwork☆28Jun 18, 2026Updated 3 months ago
- Official repository for ASAP: High System-code Security at Low Overhead☆28Dec 3, 2015Updated 10 years ago
- TUNA on AWS☆143Dec 11, 2023Updated 2 years ago
- SJTU选课社区后端☆26Jun 2, 2026Updated 4 months ago
- 清华大学研究生社会实践系统爬虫☆18Jun 4, 2024Updated 2 years ago
- Log Structured File System in Linux Kernel☆16Jul 12, 2013Updated 13 years ago
- Prevent scheduled GitHub Actions from becoming disabled after 60 days☆13Aug 1, 2024Updated 2 years ago