Galois Format Analysis Workbench
☆21Nov 30, 2023Updated 2 years ago
Alternatives and similar repositories for FAW
Users that are interested in FAW are comparing it to the libraries listed below
Sorting:
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- ☆12Nov 2, 2022Updated 3 years ago
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 8 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- An Awesome MCP Server Framework for Haskell☆43Feb 11, 2026Updated 3 weeks ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- Assorted pintools☆30Mar 30, 2020Updated 5 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Oct 23, 2017Updated 8 years ago
- The prototype system of paper Similarity Metric Method for Binary Basic Blocks of Cross-Instruction Set Architecture.☆29Jan 12, 2023Updated 3 years ago
- A verified compiler for a lazy functional language☆39Feb 27, 2026Updated last week
- ProXBBE (Protocol eXtraction By Binary Execution)☆31Sep 21, 2017Updated 8 years ago
- Be able to execute memory snapshots so they can start running where they left off.☆36Apr 14, 2015Updated 10 years ago
- Corpus set used by DIE☆41May 20, 2020Updated 5 years ago
- A library for binary analysis and rewriting☆50Sep 28, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- ☆12Aug 1, 2025Updated 7 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆10Mar 5, 2024Updated 2 years ago
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- Ollama client for Haskell☆53Jan 25, 2026Updated last month
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- VLC remote control interface for emacs☆12Sep 12, 2019Updated 6 years ago
- Writeups for PicoCTF2017 Challenges☆10Apr 16, 2017Updated 8 years ago
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆14Aug 16, 2019Updated 6 years ago
- ☆12Oct 4, 2024Updated last year
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- A python implementation of the paper "GraRep: Learning Graph Representations with Global Structural Information".☆11Jun 7, 2017Updated 8 years ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Repo contains code for our DerbyCon 2016 talk comparing Binary Ninja and IDA Pro.☆10Sep 18, 2016Updated 9 years ago
- PoC Reverse Text segment ELF File infector☆14Feb 28, 2020Updated 6 years ago
- Quantum Insert/FoxAcid case study☆16May 18, 2017Updated 8 years ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- ☆12Nov 14, 2023Updated 2 years ago
- Interesting papers☆11Jun 22, 2024Updated last year
- Forward-looking approach in process mining (using system dynamics and process mining to simulate business processes)☆12Feb 16, 2023Updated 3 years ago
- A reverse/bind shell generator utility☆11Jul 22, 2024Updated last year