Docs on CPL (Lectures on CPL at software.nju.edu.cn)
☆35Sep 5, 2025Updated 11 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:
- Lectures on the C Programming Language https://courses-at-nju-by-hfwei.github.io/cpl-lectures/☆15Dec 15, 2025Updated 8 months ago
- Problem Set for Course Compilers@software.nju.edu☆42Jun 20, 2024Updated 2 years ago
- 对NJU本科生涯在软件学院学习过程的资料整理☆26Nov 30, 2022Updated 3 years ago
- Collection of cheat sheets for git, vim, shortcuts, linux commands, and so on.☆94Aug 7, 2026Updated 3 weeks ago
- Lectures on Discrete Mathematics @ software.nju.edu.cn☆29Jan 10, 2022Updated 4 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.
- Using ANTLR4 in the Course on Compiler Theory at software.nju.edu.cn☆10Mar 31, 2023Updated 3 years ago
- 南京大学蒋炎岩老师历年OS课件下载☆27May 3, 2025Updated last year
- ☆19Updated this week
- 2023年NJUSE服务端开发课程作业☆10Nov 6, 2023Updated 2 years ago
- 上海交通大学软件学院课程《应用系统体系架构》（SE3353）笔记☆11Feb 2, 2024Updated 2 years ago
- 南京大学计算机科学与技术系 2020操作系统课程实验☆22Jul 1, 2025Updated last year
- Computer programming - ShanghaiTech☆12Jan 10, 2020Updated 6 years ago
- [CVPR 2026]"Thinking in Dynamics: How Multimodal Large Language Models Perceive, Track, and Reason Dynamics in Physical 4D World"☆17Jul 7, 2026Updated last month
- 搜户引擎，搜索户晨风高论，为清洗数据，训练户子AI做准备工作☆18Oct 25, 2025Updated 10 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.
- Papers We Love on Compilers☆37Dec 1, 2024Updated last year
- Minecraft Play Chinese Guide - 我的世界游玩中文指南☆14Aug 26, 2023Updated 3 years ago
- ☆12Aug 10, 2018Updated 8 years ago
- 软件工程与计算II☆12Dec 29, 2020Updated 5 years ago
- ☆11Jun 28, 2025Updated last year
- 2022-2023秋学期南京大学编译原理实验☆17Jan 7, 2023Updated 3 years ago
- ☆19Oct 22, 2021Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Hilbert-style formal proofs for mathematics☆12Jun 25, 2018Updated 8 years 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.
- 《使用云原生技术进行软件开发》课程课件☆28Jul 7, 2026Updated last month
- NJU oslab 南京大学操作系统大班实验☆30Jan 22, 2024Updated 2 years ago
- 收藏&笔记☆13Apr 3, 2018Updated 8 years ago
- GPU model checker☆13Apr 17, 2019Updated 7 years ago
- ShanghaiTech CS101 Algorithm and Data Structures, Fall 2022, Fall 2024.☆14Feb 15, 2026Updated 6 months ago
- 计算机类常用电子书整理，并且附带下载链接，包括Java，Python，Linux，Go，C，C++，数据结构与算法，人工智能，计算机基础，面试，设计模式，数据库，前端等书籍☆17Oct 13, 2020Updated 5 years ago
- Cut Generator Library☆28Aug 22, 2026Updated last week
- Notes of Computer Organization and Architecture @ Software Institute, Nanjing University☆10Jan 26, 2021Updated 5 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Frontend of https://bbchallenge.org☆22Aug 16, 2026Updated 2 weeks ago
- 北大侠客行客户端☆12Dec 21, 2016Updated 9 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- ☆12Mar 3, 2021Updated 5 years ago
- Schedule for ArtOfSAT☆11Oct 11, 2023Updated 2 years ago
- ☆44Nov 25, 2025Updated 9 months ago