Linux kernel labs
☆55Jun 10, 2021Updated 4 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 4 years ago
- 🌟 Notes and codes for Linux Kernel (SJTU-CS353)☆25Jun 22, 2021Updated 4 years ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- 写的快糙猛的课程作业（躺☆11May 2, 2020Updated 5 years ago
- Simple and fast layer 4 proxy in Rust☆18Dec 30, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A customizable reverse proxy with cache☆31Mar 25, 2023Updated 3 years ago
- SJTU-EI332 计算机组成实验 pipelined cpu☆12Jun 11, 2020Updated 5 years ago
- ☆17Apr 3, 2022Updated 4 years ago
- 演讲《GPU 驱动的发行版适配》☆11Mar 18, 2024Updated 2 years ago
- [NeurIPS 2022 Spotlight] Improving Generative Adversarial Networks via Adversarial Learning in Latent Space☆17Nov 20, 2022Updated 3 years ago
- A fake SSH tarpit that logs passwords and commands from attackers☆38Dec 16, 2025Updated 4 months ago
- 上海交通大学 LaTeX Beamer 幻灯片模板 - VI 最小工作集☆59Nov 5, 2021Updated 4 years ago
- Oh-My-Papers: a Hybrid Context-aware Paper Recommendation System☆27Jun 18, 2023Updated 2 years ago
- Build a Debian APT repository from packages on GitHub☆16Updated this week
- 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.
- LUG @ USTC Technical Documentation☆23Apr 21, 2026Updated last week
- ☆11Mar 5, 2026Updated last month
- Subscribe URLs with custom UA, cookie and referer☆16May 18, 2017Updated 8 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 4 years ago
- Header-only C/C++ static keys to avoid the overhead of conditional branches☆14Feb 10, 2024Updated 2 years ago
- 清华大学宿舍洗衣机空闲提醒小程序☆14Feb 4, 2021Updated 5 years ago
- Mirror management tool, developed and used in-house in USTC☆61Apr 6, 2026Updated 3 weeks ago
- 用Rust语言重写Linux kernel中的KVM☆15Apr 17, 2022Updated 4 years ago
- Tsinghua University curriculum -> iCalendar format (.ics) -> Google Calendar, etc.☆23Dec 22, 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.
- 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 4 years ago
- Linux Tutorials for Brand New Oiers | 给信息组学弟学妹的 Linux 入门手把手教程☆16May 7, 2024Updated last year
- 🖥️ An xv6-like operating system on RISC-V with multi-core support. Documentation available online.☆318Jun 15, 2021Updated 4 years ago
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- Utilities and wrappers for Python matplotlib to make plot easier.☆14Apr 13, 2026Updated 2 weeks ago
- User-mode trap-and-emulate hypervisor for RISC-V☆14Feb 11, 2022Updated 4 years ago
- Fonts from http://wps-community.org/☆11Jun 6, 2020Updated 5 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- linux-kernel-lab to master the detail of linux kernel.☆15Jul 13, 2019Updated 6 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆250May 16, 2021Updated 4 years ago
- Counter Strike: Global Offensive FPGA Version (LOL)☆15Mar 11, 2017Updated 9 years ago
- tuna artwork☆27Apr 12, 2026Updated 2 weeks ago
- TUNA on AWS☆143Dec 11, 2023Updated 2 years ago
- Log Structured File System in Linux Kernel☆16Jul 12, 2013Updated 12 years ago
- 清华大学研究生社会实践系统爬虫☆16Jun 4, 2024Updated last year