Docs on CPL (Lectures on CPL at software.nju.edu.cn)
☆35Sep 5, 2025Updated 9 months ago
Alternatives and similar repositories for cpl-docs
Users that are interested in cpl-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:
- Resources on the C Programming Language @ software.nju.edu.cn☆60Oct 4, 2024Updated last year
- Lectures on Discrete Mathematics @ software.nju.edu.cn☆27Jan 10, 2022Updated 4 years ago
- Problem Set for Course Compilers@software.nju.edu☆42Jun 20, 2024Updated 2 years ago
- Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.☆93Apr 21, 2025Updated last year
- 南京大学软件学院大一专业课——软件工程与计算I（简称“软工一”）☆19Oct 13, 2020Updated 5 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.
- ☆26May 8, 2026Updated last month
- ☆18Oct 22, 2021Updated 4 years ago
- ☆17Apr 29, 2026Updated last month
- 南京大学统一身份认证登录模块，可用于登录校园各种网站☆42Feb 28, 2026Updated 3 months ago
- Libra is evolving into an AI agent–native version control tools☆72Updated this week
- 上海交通大学软件学院课程《应用系统体系架构》（SE3353）笔记☆11Feb 2, 2024Updated 2 years ago
- 南京大学计算机科学与技术系 2020操作系统课程实验☆22Jul 1, 2025Updated 11 months ago
- Papers We Love on Compilers☆36Dec 1, 2024Updated last year
- 西交计学组资料仓库(XJTU-CS Experimental Class Resource Repository)☆24Oct 13, 2025Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 本仓库是基于中文书籍《计算机网络：自顶向下方法（原书第七版）》所作的笔记仓库。☆10Nov 9, 2024Updated last year
- All Resources from Stanford CS106B 2021☆26Jul 11, 2025Updated 11 months ago
- 软件工程与计算II☆12Dec 29, 2020Updated 5 years ago
- ☆11Jun 28, 2025Updated 11 months ago
- Linux with patches for supporting the Surface Pro X (SQ2)☆12Dec 14, 2021Updated 4 years ago
- JITed Taint Tracking in V8☆15May 19, 2014Updated 12 years ago
- Computer programming - ShanghaiTech☆12Jan 10, 2020Updated 6 years ago
- Official repository of bfdev, A C lang algorithm & container library that balances performance, cross-platform compatibility and memory s…☆14Mar 9, 2026Updated 3 months ago
- NJU oslab 南京大学操作系统大班实验☆32Jan 22, 2024Updated 2 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.
- Fast TLB simulator for RISC-V systems☆16May 16, 2019Updated 7 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆37Oct 21, 2021Updated 4 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Collection of driver binaries for LGE sm8150 devices☆12Feb 17, 2025Updated last year
- 计算机类常用电子书整理，并且附带下载链接，包括Java，Python，Linux，Go，C，C++，数据结构与算法，人工智能，计算机基础，面试，设计模式，数据库，前端等书籍☆17Oct 13, 2020Updated 5 years ago
- This repository collects all materials from past years of cs152.☆76Jul 8, 2024Updated last year
- 听说有人用Python壳子的语言骗经费? 过来挨打?☆49Jan 27, 2020Updated 6 years ago
- 2019秋哈工大机器学习实验+期末考试题☆13Nov 30, 2019Updated 6 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.
- A static-enumerated Windows bus driver that recognizes Flattened Device Tree (FDT)☆22Apr 4, 2023Updated 3 years ago
- Cut Generator Library☆27May 25, 2026Updated last month
- Problem Sets for Discrete Mathematics @ software.nju.edu.cn☆12Jun 24, 2021Updated 5 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- ShanghaiTech CS101 Algorithm and Data Structures, Fall 2022, Fall 2024.☆13Feb 15, 2026Updated 4 months ago
- Simple Debug Bridge Daemon (SDBD) Compatible ADBD☆28Jan 12, 2026Updated 5 months ago
- 上海交通大学2021-2022学年秋季学期程序设计思想与方法(CS1501)课后练习通关代码☆14Dec 24, 2021Updated 4 years ago