Docs on CPL (Lectures on CPL at software.nju.edu.cn)
☆35Sep 5, 2025Updated 8 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☆59Oct 4, 2024Updated last year
- Lectures on Discrete Mathematics @ software.nju.edu.cn☆26Jan 10, 2022Updated 4 years ago
- Problem Set for Course Compilers@software.nju.edu☆42Jun 20, 2024Updated last year
- Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.☆92Apr 21, 2025Updated last year
- ☆24May 8, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆17Oct 22, 2021Updated 4 years ago
- Slides of CS100 (Introduction to Computer Programming) of ShanghaiTech.☆17Mar 2, 2026Updated 2 months ago
- 上海交通大学软件学院课程《应用系统体系架构》（SE3353）笔记☆11Feb 2, 2024Updated 2 years ago
- 南京大学计算机科学与技术系 2020操作系统课程实验☆23Jul 1, 2025Updated 11 months ago
- ☆12Aug 10, 2018Updated 7 years ago
- 本仓库是基于中文书籍《计算机网络：自顶向下方法（原书第七版）》所作的笔记仓库。☆11Nov 9, 2024Updated last year
- All Resources from Stanford CS106B 2021☆25Jul 11, 2025Updated 10 months ago
- 《使用云原生技术进行软件开发》课程课件☆27Aug 29, 2025Updated 9 months ago
- ☆43Nov 25, 2025Updated 6 months 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.
- ☆11Jun 28, 2025Updated 11 months ago
- Computer programming - ShanghaiTech☆12Jan 10, 2020Updated 6 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- NJU oslab 南京大学操作系统大班实验☆32Jan 22, 2024Updated 2 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 7 years ago
- SJTU-SE高级数据结构☆14Jun 8, 2023Updated 2 years ago
- Recommended coding standard of Verilog and SystemVerilog.☆36Oct 21, 2021Updated 4 years ago
- 2022-2023秋学期南京大学编译原理实验☆18Jan 7, 2023Updated 3 years ago
- This repository collects all materials from past years of cs152.☆75Jul 8, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 听说有人用Python壳子的语言骗经费? 过来挨打?☆49Jan 27, 2020Updated 6 years ago
- 我2022年春夏学期修读离散数学及其应用时用语雀做的笔记，现在导出放在GitHub上给大家看，希望能帮学弟学妹们省点做笔记的时间。☆12Mar 5, 2023Updated 3 years ago
- 2019秋哈工大机器学习实验+期末考试题☆13Nov 30, 2019Updated 6 years ago
- Syntax highlighting for Alda - a music programming language.☆12Sep 5, 2021Updated 4 years ago
- Problem Sets for Discrete Mathematics @ software.nju.edu.cn☆12Jun 24, 2021Updated 4 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- ShanghaiTech CS101 Algorithm and Data Structures, Fall 2022, Fall 2024.☆13Feb 15, 2026Updated 3 months ago
- 上海交通大学2021-2022学年秋季 学期程序设计思想与方法(CS1501)课后练习通关代码☆14Dec 24, 2021Updated 4 years ago
- Notes of Computer Organization and Architecture @ Software Institute, Nanjing University☆10Jan 26, 2021Updated 5 years 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.
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- 2023年NJUSE服务端开发课程作业☆10Nov 6, 2023Updated 2 years ago
- 【清华大学《计算机动画原理与算法》大作业】MPM fluid simulation and surface reconstruction using Taichi; A path tracer implemented by LuisaCompute python front…☆14Jan 16, 2024Updated 2 years ago
- 该仓库面向SJTU SE-125 机器学习 的期末考试.这个仓库主要记录了个人根据老师提供的考纲文档 整理的笔记。 其中大部分都是根据文档上网查阅资料并copy的，夹带有一定私货。 仓库中整理的文档与老师上课的slides关系不大（因为我真的看不懂那么多公式推导）。希望这…☆77Jan 10, 2022Updated 4 years ago
- 北大侠客行客户端☆12Dec 21, 2016Updated 9 years ago
- 2022年华为软件精英赛初赛☆11Apr 2, 2022Updated 4 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago