fabriceleal / Software-Foundations-Solutions
☆11Updated 9 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
- My solutions to Software Foundations course in Coq proof assistant.☆33Updated 7 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- ntype cafe summer school resources☆137Updated 8 months ago
- 基于Metropolis修改的北大风格Beamer主题☆25Updated 2 years ago
- ☆24Updated 5 years ago
- PL conference deadline countdowns☆55Updated last week
- Typst template for dissertations in Peking University (PKU).☆24Updated 3 months ago
- ☆19Updated 7 years ago
- ☆60Updated last year
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆83Updated 3 years ago
- ☆227Updated 6 months ago
- ☆23Updated 5 years ago
- 北大选课网补退选阶段自动选课小工具（2023秋-不定长验证码）☆72Updated last year
- Program synthesis class taught by Loris D'Antoni☆27Updated 2 months ago
- ☆40Updated 2 months ago
- Visual Studio Code extension for Coq☆362Updated this week
- I love AI.☆20Updated last month
- PKU CS专业课作业。目前包括AI引论、代数结构与组合数学、信息论、数据库概论、数据结构与算法、数理逻辑、概率统计、算法设计与分析、编译原理、计算机网络、计算理论导论、随机过程引论、集合论与图论等。☆75Updated 7 months ago
- A formally verified Raft specification in Spin, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆15Updated 3 years ago
- 在选课季有一些作用的小玩意☆63Updated 3 years ago
- Solution to Algebra, Chapter 0☆88Updated 11 months ago
- lecture notes of probability notes☆17Updated 4 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆202Updated 2 years ago
- 一年过去了，你在白鲸食堂里花的钱都花在哪儿了？☆126Updated last month
- Program Synthesis Course☆250Updated 11 months ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆10Updated last year
- I love computer networks.☆17Updated last month