fabriceleal / Software-Foundations-SolutionsLinks
☆12Updated 10 years ago
Alternatives and similar repositories for Software-Foundations-Solutions
Users that are interested in Software-Foundations-Solutions are comparing it to the libraries listed below
Sorting:
- My solutions to Software Foundations course in Coq proof assistant.☆38Updated last week
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- Wishing you could have a 🌈☆12Updated 6 months ago
- lecture notes of probability notes☆17Updated 5 years ago
- ☆19Updated last week
- PKU CS专业课作业。 目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。☆102Updated last month
- 🎓a Better BlackBoard for PKUers. 北京大学教学网命令行工具（🖥️Win/🐧Linux/🍏Mac）, 支持查看/提交作业、下载课程回放.☆48Updated last month
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Program synthesis class taught by Loris D'Antoni☆29Updated 8 months ago
- ☆19Updated 8 years ago
- 一个北大教学网的美化样式☆200Updated 3 months ago
- Typst template for dissertations in Peking University (PKU).☆41Updated 2 months ago
- 基于Metropolis修改的北大风格Beamer主题☆26Updated 3 years ago
- 北大选课网补退选阶段自动选课小工具（2023秋-不定长验证码）☆75Updated last year
- ntype cafe summer school resources☆141Updated last year
- I love AI.☆29Updated 7 months ago
- Github Actions: 完成每日健康填报打卡，So easy☆66Updated 3 years ago
- ☆58Updated last year
- 一年过去了，你在白鲸食堂里花的钱都花在哪儿了？☆124Updated 7 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆213Updated 5 months ago
- PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into s…☆40Updated 5 months ago
- 从北京大学教参平台下载pdf电子书☆31Updated 2 years ago
- ✍️ The notes of courses in Shanghai Jiao Tong University☆174Updated 3 years ago
- Peking University Undergraduate Thesis Template.☆16Updated 2 months ago
- 南京大学学位论文模板☆565Updated 2 months ago
- Visual Studio Code extension for Coq☆401Updated 2 weeks ago
- A Beamer Theme of PKU for academic report, thesis and talk.☆149Updated 2 years ago
- The pintos source distribution for PKU Operating System Course projects☆49Updated 5 months ago
- 在选课季有一些作用的小玩意☆64Updated 3 years ago
- A C++ SMT/OMT Parser Library☆19Updated last week