Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
☆291Oct 6, 2020Updated 5 years ago
Alternatives and similar repositories for hammer
Users that are interested in hammer are comparing it to the libraries listed below
Sorting:
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆442Nov 27, 2022Updated 3 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆82Apr 17, 2017Updated 8 years ago
- Use any program to perform fixups for afl via AFL_POST_LIBRARY☆11Aug 31, 2020Updated 5 years ago
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- ☆28Jun 27, 2019Updated 6 years ago
- ☆15Sep 15, 2017Updated 8 years ago
- Fuzz testing framework for security research☆30Jun 19, 2014Updated 11 years ago
- An arrow-based parser combinator library for C☆39Apr 6, 2010Updated 15 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- A stream processing library for F#☆39Jan 5, 2016Updated 10 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- qp tries and crit-bit tries☆124Jul 12, 2022Updated 3 years ago
- bloc is a better locate tool for finding files in your system☆19Sep 12, 2018Updated 7 years ago
- Automatic codegen for encoding/binary marshaling☆17Mar 14, 2015Updated 10 years ago
- Event-sourcing and microservices infrastructure with specs framework for GoLang☆13May 26, 2015Updated 10 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- A GCC plugin implementing various stack canaries.☆14Sep 7, 2012Updated 13 years ago
- A DOM-Inspired Ruby Smart Fuzzer☆57Apr 4, 2009Updated 16 years ago
- Dynamic-language-like data structure for C☆15Jun 13, 2016Updated 9 years ago
- Daemons insipred by The Golden Compas☆13May 14, 2024Updated last year
- tools to modify go programs☆11Nov 5, 2015Updated 10 years ago
- Debugger for Common Lisp systems.☆10Oct 18, 2024Updated last year
- Generally applicable Terra utilities.☆15Feb 10, 2015Updated 11 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 7 years ago
- Verified implementation of TLS 1.3 in F*☆177Feb 12, 2025Updated last year
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- A parser generator for C☆404Feb 24, 2026Updated last week
- TMFRAME, pronounced "time frame", is a binary standard for compactly encoding time series data☆27Aug 1, 2018Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Nov 16, 2017Updated 8 years ago
- machine fusion☆16Oct 13, 2018Updated 7 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆634Dec 17, 2020Updated 5 years ago
- ☆40May 1, 2016Updated 9 years ago
- A Parser Combinator library for C☆2,821Aug 10, 2025Updated 6 months ago