Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
☆446Nov 27, 2022Updated 3 years ago
Alternatives and similar repositories for hammer
Users that are interested in hammer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆293Oct 6, 2020Updated 6 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆84Apr 17, 2017Updated 9 years ago
- APL-like functions for use from Lua.☆18Mar 23, 2015Updated 11 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆652Dec 17, 2020Updated 5 years ago
- eats a gif, spits out fully decoded frames☆10Jul 31, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆24Aug 20, 2011Updated 15 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Constant-Time Toolkit☆300Aug 29, 2018Updated 8 years ago
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 6 years ago
- p3☆18Jun 10, 2016Updated 10 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- Universal Email Encryption Specification☆16Nov 27, 2013Updated 12 years ago
- Experimental High Assurance Cryptographic Library☆21Feb 1, 2016Updated 10 years ago
- A minimal C runtime for Linux i386 & x86_64☆586Apr 10, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Old version of joern used for ACSAC'12 paper. Only kept around for archiving.☆18Jul 19, 2012Updated 14 years ago
- Open-source implementation of the K programming language☆1,417Jun 2, 2023Updated 3 years ago
- A minimal & pure Lisp-1 implementation in 22 languages.☆11Jul 24, 2013Updated 13 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 2021Updated 4 years ago
- Semantics of C in K☆333Feb 1, 2022Updated 4 years ago
- Noether programming language☆129May 5, 2017Updated 9 years ago
- A Parser Combinator library for C☆2,852Aug 10, 2025Updated last year
- Snabb: Simple and fast packet networking☆3,032Oct 6, 2026Updated 3 weeks ago
- Pond☆921Dec 17, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- privilege separation engine for OpenSSL / LibreSSL☆207Jun 28, 2026Updated 4 months ago
- Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.☆1,861Nov 7, 2023Updated 2 years ago
- Fast cryptographic networking for Haskell☆25Dec 29, 2012Updated 13 years ago
- DFA regular expression library & friends☆986Updated this week
- minimal freestanding C library for bare-metal i386 development☆277Mar 17, 2016Updated 10 years ago
- Some code in C that allows one thread to pass items to another thread without locking☆40Oct 2, 2016Updated 10 years ago
- Rust declarative static analysis with macro-like syntax☆16Oct 8, 2018Updated 8 years ago
- Cranelift code generator☆2,509Jun 26, 2020Updated 6 years ago
- C to Rust translator☆2,186Mar 10, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- [INACTIVE] TLS 1.2 implementation in Rust☆126Jan 19, 2016Updated 10 years ago
- A semi-automatic C port of the RAEdit component, originally written in 32-bit x86 assembly☆24Jan 10, 2025Updated last year
- Moon☆58Jun 24, 2014Updated 12 years ago
- Computing with traps☆1,327Apr 16, 2013Updated 13 years ago
- Crema: A Sub-Turing Programming Language☆67Aug 17, 2015Updated 11 years ago
- A very fast URI parser in C.☆26Aug 3, 2018Updated 8 years ago
- The Ivory EDSL☆417Feb 21, 2020Updated 6 years ago