katef / libfsm
DFA regular expression library & friends
☆939Updated last week
Related projects ⓘ
Alternatives and complementary repositories for libfsm
- BNF wrangling and railroad diagrams☆593Updated last year
- The TenDRA Project☆238Updated 3 months ago
- EsoLangVM Compiler Infrastructure☆1,135Updated 3 months ago
- unfork(2) is the inverse of fork(2). sort of.☆1,464Updated 7 months ago
- Bootstrapping LISP in a Boot Sector☆1,292Updated 2 months ago
- Branchless UTF-8 decoder☆591Updated 2 years ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- A parser generator for visibly pushdown languages.☆746Updated last year
- A Bestiary of Single-File Implementations of Programming Languages☆1,000Updated 7 months ago
- A C interpreter and API explorer.☆817Updated 2 years ago
- ELF visualizer. Generates HTML files from ELF binaries.☆928Updated last year
- A set of minimal dependency bootstrap binaries☆932Updated 9 months ago
- Full-blown preprocessor metaprogramming☆874Updated this week
- C-Reduce, a C and C++ program reducer☆1,307Updated 5 months ago
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆612Updated 3 years ago
- Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.☆1,386Updated last month
- SIMD-enhanced word counter☆243Updated 5 years ago
- Mirror of JONESFORTH☆1,013Updated last year
- Turn your favourite regex into FAT32☆998Updated 2 years ago
- Algebraic data types for C99☆1,376Updated this week
- A Lisp interpreter implemented in Conway's Game of Life☆453Updated 2 years ago
- Proving leftpad correct two-dozen different ways☆650Updated this week
- High-speed secure pseudorandom function for short messages☆660Updated 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.☆231Updated last year
- The CompCert formally-verified C compiler☆1,892Updated this week
- A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀☆794Updated 6 months ago
- A runtime type checker for bash.... in bash. I'm not sorry.☆329Updated 2 years ago
- ☆1,017Updated last year
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,381Updated last year