COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
☆30Nov 3, 2023Updated 2 years ago
Alternatives and similar repositories for programanalysiscourse
Users that are interested in programanalysiscourse are comparing it to the libraries listed below
Sorting:
- Public-facing course info for program analysis materials.☆43Dec 4, 2025Updated 2 months ago
- As I work thought the book "Practical Binary Analysis" by Dennis Andriesse, https://practicalbinaryanalysis.com/ I try to make editions f…☆11Sep 28, 2021Updated 4 years ago
- ☆14Sep 1, 2022Updated 3 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆22Feb 14, 2024Updated 2 years ago
- Tiny simple things inside the kernel☆27Jun 12, 2025Updated 8 months ago
- ARCHIVED. [@@deriving] plugin to generate Python conversion functions☆34Nov 21, 2024Updated last year
- Basic Gradle configuration and example drivers to get started with WALA☆29Dec 2, 2024Updated last year
- ☆13Jul 22, 2022Updated 3 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆22Jan 11, 2026Updated last month
- 智慧教学辅助系统☆10Feb 10, 2026Updated 2 weeks ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆11Jan 18, 2024Updated 2 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- ☆13Sep 5, 2024Updated last year
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- CS Graduate Job Guide☆33Nov 14, 2024Updated last year
- Multi-Objective GP for Automated Repair of Java☆45May 30, 2022Updated 3 years ago
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Apr 23, 2023Updated 2 years ago
- My personal dotifles☆12Sep 20, 2025Updated 5 months ago
- yaml2xls, a library and tools for converting between yaml files and MS excel, part of the Juniper NITA solution☆12Jul 30, 2025Updated 7 months ago
- Get a free freebsd shell☆13Nov 8, 2025Updated 3 months ago
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Jul 30, 2022Updated 3 years ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- Using Git to Code, Collaborate and Share☆14Oct 9, 2024Updated last year
- An Introduction to Computational Macroeconomics (U Tokyo 2022)☆14Jul 13, 2022Updated 3 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- The CompCert formally-verified C compiler☆10Updated this week
- 2023 中国开源年度报告；2023 China Open Source Report☆16May 10, 2024Updated last year
- PolyLib official git.☆11Jan 27, 2026Updated last month
- 转换 Clash 订阅格式到 v2rayN 订阅格式☆11Oct 11, 2024Updated last year
- Design documents and interoperability tests for Interoperable RA-TLS projects☆13Jan 8, 2024Updated 2 years ago
- ☆11May 14, 2023Updated 2 years ago