katef / libfsm
DFA regular expression library & friends
☆949Updated 3 weeks ago
Alternatives and similar repositories for libfsm:
Users that are interested in libfsm are comparing it to the libraries listed below
- BNF wrangling and railroad diagrams☆598Updated last year
- unfork(2) is the inverse of fork(2). sort of.☆1,473Updated 10 months ago
- A parser generator for visibly pushdown languages.☆756Updated last month
- The TenDRA Project☆240Updated 6 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- Algebraic data types for C99☆1,393Updated 2 months ago
- Bootstrapping LISP in a Boot Sector☆1,328Updated 2 months ago
- A tiny, embeddable language implemented in ANSI C☆1,342Updated 7 months ago
- Branchless UTF-8 decoder☆609Updated 2 years ago
- A set of minimal dependency bootstrap binaries☆956Updated last year
- Turn your favourite regex into FAT32☆1,005Updated 2 years ago
- EsoLangVM Compiler Infrastructure☆1,167Updated 6 months ago
- An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.☆233Updated last year
- ELF visualizer. Generates HTML files from ELF binaries.☆932Updated last month
- Brainfuck interpreter inside printf☆650Updated 3 years ago
- ANSI Standard X3.64 Teletypewriter Command Session Library☆480Updated 2 months ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,004Updated 10 months ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆499Updated last week
- Smaller, easier, more powerful, and more reliable than make. An implementation of djb's redo.☆1,799Updated last year
- Automated integer hash function discovery☆700Updated 11 months ago
- Message passing based allocator☆1,624Updated last week
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,396Updated 4 months ago
- C-Reduce, a C and C++ program reducer☆1,548Updated 8 months ago
- Proving leftpad correct two-dozen different ways☆664Updated 3 months ago
- A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀☆801Updated 9 months ago
- Computing with traps☆1,279Updated 11 years ago
- The CompCert formally-verified C compiler☆1,935Updated 2 weeks ago
- ☆1,016Updated 2 years ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆615Updated 4 years ago
- A C interpreter and API explorer.☆823Updated 3 years ago