Galois Format Analysis Workbench
☆24Nov 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆21Jan 14, 2021Updated 5 years ago
- ☆12Nov 2, 2022Updated 4 years ago
- PeAR - the Performant AFL Rewriter. Instrument Linux and Windows binaries with fuzzing instrumentation and more.☆19Aug 7, 2026Updated 3 months ago
- Add seed exchange post type to turn a WordPress install into a seed bank! :D☆10May 14, 2020Updated 6 years ago
- API logger plugin for Intel Pintool☆14Nov 19, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Interactive windows for displaying Haskell-generated diagrams☆18Sep 17, 2024Updated 2 years ago
- A library for binary analysis and rewriting☆49Sep 28, 2023Updated 3 years ago
- Just enough TLS sugar☆14May 2, 2015Updated 11 years ago
- ☆17Sep 23, 2024Updated 2 years ago
- p3☆18Jun 10, 2016Updated 10 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- MBOX reader.☆19Apr 6, 2022Updated 4 years ago
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 9 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Old version of joern used for ACSAC'12 paper. Only kept around for archiving.☆18Jul 19, 2012Updated 14 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Library and tools to access the (split) RAW image format☆12Oct 12, 2026Updated 3 weeks ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- ☆38May 4, 2025Updated last year
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- 🔬Experimental Minio (S3) Gateway for iRODS 💾☆12Aug 13, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Assorted pintools☆30Mar 30, 2020Updated 6 years ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 12 years ago
- ☆24Aug 20, 2011Updated 15 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 10 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- Net2PCAP is a simple network-to-pcap capture file for Linux. Its goal is to be as simple as possible to be used in hostile environments☆12Aug 28, 2011Updated 15 years ago
- Backtest Investment Strategies in your Browser☆10Jan 5, 2016Updated 10 years ago
- My conference presentations and publications☆27Feb 24, 2022Updated 4 years ago
- ☆11Jul 18, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 4 years ago
- covo.js☆10Sep 29, 2012Updated 14 years ago
- ☆17Jan 31, 2023Updated 3 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- ☆15Mar 29, 2023Updated 3 years ago
- ☆11Sep 23, 2024Updated 2 years ago
- A collection of option trading related utilities☆13Jul 28, 2013Updated 13 years ago