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:
- PDF Analyzer and Render Comparer☆11Sep 14, 2026Updated last month
- ☆12Nov 2, 2022Updated 3 years ago
- gnu gcov like tool☆13Jun 18, 2015Updated 11 years ago
- Interactive windows for displaying Haskell-generated diagrams☆18Sep 17, 2024Updated 2 years ago
- ☆17Sep 23, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- API logger plugin for Intel Pintool☆14Nov 19, 2017Updated 8 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 5 years ago
- p3☆18Jun 10, 2016Updated 10 years ago
- MBOX reader.☆19Apr 6, 2022Updated 4 years ago
- A vendor- and implementation-independent specification-derived, machine-readable model of PDF.☆115Updated this week
- automated-arancino is a lightweight analysis framework to automate malware experiments.☆16Apr 17, 2017Updated 9 years ago
- An extendable and flexible infrastructure for program instrumentation.☆26Sep 9, 2026Updated last month
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- ☆24Aug 20, 2011Updated 15 years ago
- KVerus: Scalable and Resilient Formal Verification for Rust Code☆27Oct 11, 2026Updated last week
- Library and tools to access the (split) RAW image format☆12Updated this week
- Library for Object Linking and Embedding (OLE) data types☆13Oct 9, 2026Updated last week
- ☆38May 4, 2025Updated last year
- Assorted pintools☆30Mar 30, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 🔬Experimental Minio (S3) Gateway for iRODS 💾☆12Aug 13, 2019Updated 7 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 4 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 10 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 12 years ago
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 3 years ago
- A fuzzy string set implementation in Haskell.☆11Mar 8, 2024Updated 2 years ago
- Java command line tool to convert PAGE XML files with layout and text content to PDF☆10Apr 27, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Corpus set used by DIE☆42May 20, 2020Updated 6 years ago
- Test suite for PDF/A-2 conformance☆11Aug 14, 2025Updated last year
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- DROID Skeleton Test Suite Generator (skeleton-test-suite-generator): Tool for the automated generation of digital objects based on the di…☆11Sep 15, 2024Updated 2 years ago
- ☆17Jan 31, 2023Updated 3 years ago
- Scudo useful files☆10Jul 3, 2022Updated 4 years ago