fredfeng / CS162
Programming languages
☆37Updated this week
Alternatives and similar repositories for CS162:
Users that are interested in CS162 are comparing it to the libraries listed below
- Program Synthesis☆12Updated 3 years ago
- PL conference deadline countdowns☆55Updated 3 weeks ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- A SyGuS Solver☆25Updated last month
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- ☆20Updated 3 weeks ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆202Updated 2 years ago
- 十分钟魔法练习 in OCaml☆33Updated 2 years ago
- ☆16Updated 2 years ago
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 3 years ago
- The Eldarica model checker☆83Updated this week
- Term project for TaPL. A mini coq-like proof assistant.☆17Updated 6 years ago
- A compiler from TIP to llvm bitcode☆68Updated 3 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆94Updated this week
- Software Foundations☆123Updated 10 months ago
- ☆26Updated last year
- Program synthesis class taught by Loris D'Antoni☆27Updated 2 months ago
- P523 Code☆27Updated 10 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆17Updated 7 months ago
- AE-solver and Skolemizer☆16Updated 2 months ago
- Definition of the Viper intermediate verification language.☆81Updated this week
- Public-facing course info for program analysis materials.☆39Updated 2 months ago
- ☆42Updated 3 months ago
- ☆13Updated 2 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆69Updated this week