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 6 months ago
- ☆19Updated 7 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- ICS (Introduction to Computer Systems, aka CSAPP) course lab codes@PKU 2021-1st sem☆9Updated 2 years ago
- 北大选课网补退选阶段自动选课小工具(2023秋-不定长验证码)☆58Updated 11 months ago
- lecture notes of probability notes☆17Updated 4 years ago
- ☆76Updated 4 months ago
- Program synthesis class taught by Loris D'Antoni☆27Updated last month
- Automatic parallel divide-and-conquer programs synthesizer☆16Updated 3 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- MS108 Course Project, SJTU ACM Class.☆28Updated 2 years ago
- ntype cafe summer school resources☆137Updated 7 months ago
- ☆59Updated 11 months ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆79Updated 3 years ago
- ☆14Updated last year
- A SyGuS Solver☆23Updated last month
- Typst template for dissertations in Peking University (PKU).☆23Updated 2 months ago
- Yx: a language only for demo use☆17Updated 3 years ago
- PL conference deadline countdowns☆53Updated 2 months ago
- Main repository for Harvard CS260r 2017.☆9Updated 7 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆24Updated 8 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆38Updated last year
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆27Updated 7 months ago
- PyUPPAAL is a python package basically for reflecting UPPAAL's model editing, verification, and counter-example parsing operations into s…☆34Updated last month
- I love computer networks.☆17Updated 3 weeks ago
- ☆25Updated 10 months ago
- Assignments of the dragon book, 2nd☆12Updated 7 years ago
- 一年过去了,你在白鲸食堂里花的钱都花在哪儿了?☆125Updated 3 weeks ago
- Program Synthesis Course☆248Updated 10 months ago