katef / kgtLinks
BNF wrangling and railroad diagrams
☆611Updated last month
Alternatives and similar repositories for kgt
Users that are interested in kgt are comparing it to the libraries listed below
Sorting:
- DFA regular expression library & friends☆965Updated 3 weeks ago
- A parser generator for visibly pushdown languages.☆797Updated 5 months ago
- Proving leftpad correct two-dozen different ways☆694Updated 5 months ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆624Updated 4 years ago
- A comprehensive test suite for RFC 8259 compliant JSON parsers☆1,034Updated 9 months ago
- Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.☆1,819Updated last year
- Proquints: Identifiers that are Readable, Spellable, and Pronounceable.☆299Updated 11 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,601Updated 3 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆478Updated last year
- An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.☆234Updated 2 years ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,025Updated 4 months ago
- Shell supporting pipelines to and from multiple processes☆335Updated last year
- RR - Railroad Diagram Generator☆524Updated 3 weeks ago
- Shrinkray is a modern multi-format test-case reducer☆275Updated last week
- Tool to count lines of source code.☆252Updated last year
- BNF Converter☆607Updated 2 weeks ago
- Compiler for the Mirth programming language.☆475Updated 3 months ago
- The TenDRA Project☆245Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆829Updated last year
- Algebraic data types for C99☆1,437Updated 6 months ago
- Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…☆784Updated 3 months ago
- ANSI Standard X3.64 Teletypewriter Command Session Library☆540Updated 9 months ago
- Build Systems à la Carte☆256Updated last year
- You might not need your garbage collector☆543Updated 5 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆437Updated 2 years ago
- a language for building system dynamic models☆167Updated 5 months ago
- A C interpreter and API explorer.☆826Updated 3 years ago
- !!Con West 2019 talk☆354Updated 4 years ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,545Updated 3 weeks ago
- Tup is a file-based build system.☆1,224Updated last month