sergeybratus / HammerPrimerLinks
Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson
☆81Updated 8 years ago
Alternatives and similar repositories for HammerPrimer
Users that are interested in HammerPrimer 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.☆434Updated 2 years ago
- Scripting with Least Privilege☆109Updated 8 years ago
- Network Semantics☆88Updated 6 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- The Pascal-F Verifier☆49Updated 7 years ago
- Checking that functions are constant time with Valgrind☆186Updated 8 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 9 years ago
- Meta-level run-time services for Unix processes... a.k.a. dragging Unix into the 1980s☆228Updated last week
- ☆89Updated 3 years ago
- A practical interface generator for data formats.☆127Updated 4 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆286Updated 4 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆66Updated 3 weeks ago
- ☆33Updated 10 years ago
- Noether programming language☆127Updated 8 years ago
- ☆198Updated this week
- A proof of false in Coq.☆98Updated 5 years ago
- The SAW scripting language.☆474Updated this week
- Crema: A Sub-Turing Programming Language☆66Updated 9 years ago
- Verified implementation of TLS 1.3 in F*☆177Updated 5 months ago
- Return Oriented Programme Evolution with ROPER☆171Updated 6 years ago
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆200Updated 5 years ago
- repeatedly run programs until they break, and be ready to attach a debugger☆194Updated 6 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆122Updated 12 years ago
- APL Compiler targeting a typed array intermediate language☆215Updated 10 months ago
- l1c is a simple formally verified compiler for a while language☆55Updated 4 years ago