slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
☆18Dec 18, 2022Updated 3 years ago
Alternatives and similar repositories for slides
Users that are interested in slides are comparing it to the libraries listed below
Sorting:
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆44May 25, 2021Updated 4 years ago
- ☆10Aug 18, 2025Updated 6 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- ☆61Feb 15, 2023Updated 3 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- Apron Numerical Abstract Domain Library☆144Feb 13, 2026Updated 2 weeks ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated this week
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- ☆13Sep 5, 2024Updated last year
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- ☆33Aug 12, 2014Updated 11 years ago
- Promise free Async/await☆10Dec 30, 2022Updated 3 years ago
- The CompCert formally-verified C compiler☆10Updated this week
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- PolyLib official git.☆11Jan 27, 2026Updated last month
- Hardware Description Language on FPGA☆10Sep 18, 2023Updated 2 years ago
- ☆22Oct 23, 2025Updated 4 months ago
- ☆12Aug 8, 2022Updated 3 years ago
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆11Nov 15, 2022Updated 3 years ago
- ☆12Jan 14, 2026Updated last month
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 15 years ago
- An Introduction to Computational Macroeconomics (U Tokyo 2022)☆14Jul 13, 2022Updated 3 years ago
- My solutions to problems in Programming Pearls (Jon Bentley)☆12Apr 16, 2020Updated 5 years ago
- 转换 Clash 订阅格式到 v2rayN 订阅格式☆11Oct 11, 2024Updated last year
- 《穿越操作系统迷雾》源码☆11Jan 19, 2025Updated last year
- A jQuery plugin for webRTC☆62May 9, 2012Updated 13 years ago
- ☆11May 14, 2023Updated 2 years ago
- ☆11Dec 5, 2022Updated 3 years ago