☆22Mar 20, 2023Updated 2 years ago
Alternatives and similar repositories for goat
Users that are interested in goat are comparing it to the libraries listed below
Sorting:
- ☆28May 6, 2024Updated last year
- mini Julia Sonar Repo☆14Jan 22, 2025Updated last year
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- Fuzzing framework written in OCaml☆33Aug 23, 2016Updated 9 years ago
- The notes about programming language theory☆27May 7, 2023Updated 2 years ago
- This is a deep learning dataset for cross-version binary code similarity detection.☆27Nov 7, 2018Updated 7 years ago
- Overcooked! 2 TAS Development Framework☆10Aug 18, 2023Updated 2 years ago
- Official code of Callee: Recovering Call Graphs for Binaries with Transfer and Contrastive Learning☆43Dec 17, 2023Updated 2 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆43Jan 26, 2024Updated 2 years ago
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- Using SVF in Python Projects☆15Updated this week
- A speicifically designed KV store for blockchain systems☆11Mar 10, 2025Updated 11 months ago
- 2023 Momenti Study - Structure and Interpretation of Computer Programs: Rust Edition☆10Jan 4, 2023Updated 3 years ago
- ☆10Nov 7, 2023Updated 2 years ago
- Linux network namespace sysctl safety verifier.☆11Jun 20, 2021Updated 4 years ago
- Easily copy image to clipboard by right clicking image.☆17Sep 27, 2025Updated 5 months ago
- `penv`: a better `env` & `venv`☆12May 24, 2017Updated 8 years ago
- A simple tutorial about how to use the CIL compiler frontend☆12Feb 10, 2025Updated last year
- An AI-powered plugin for Caldera that orchestrates long-running LLM workflows to automatically create adversary emulation abilities and p…☆22Feb 2, 2026Updated last month
- This repo contains materials from Just Hit the Core CTF team workshops organized thanks to KNI Kernel at AGH University of Science and Te…☆11Jan 10, 2018Updated 8 years ago
- 2023/12/22 电三 420 每周会议技术分享:「容器」的 slides 和附件☆10Dec 22, 2023Updated 2 years ago
- 🍓 A toy object-oriented programming language written by rust☆17Apr 10, 2024Updated last year
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44May 15, 2021Updated 4 years ago
- Scalable yet rigorous Floating-point Error Analysis☆11Jul 23, 2025Updated 7 months ago
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 3 months ago
- An example repository for @matklad's cargo xtask pattern☆10Aug 20, 2025Updated 6 months ago
- Principles and Methodologies for Serial Performance Optimization (OSDI' 25)☆25Jun 5, 2025Updated 9 months ago
- A small Rust library for reading process maps from procfs☆15Nov 24, 2025Updated 3 months ago
- A tool to build a graph from a codebase☆14Feb 19, 2025Updated last year
- A study of undefined behavior across foreign function boundaries in Rust libraries.☆11Feb 13, 2025Updated last year
- Static program analysis for TIP☆311May 5, 2025Updated 10 months ago
- ☆10Nov 20, 2023Updated 2 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- 中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享☆12Oct 25, 2019Updated 6 years ago
- LLVM Kaleidoscope Compiler☆11Aug 19, 2019Updated 6 years ago
- Go allocation trace utilities