rurban / tiny-regex-c
Small portable regex in C (cbmc verified, and extended)
☆14Updated last year
Alternatives and similar repositories for tiny-regex-c:
Users that are interested in tiny-regex-c are comparing it to the libraries listed below
- mirror of Fabrice Bellard's libbf tar releases☆12Updated 2 years ago
- A small self-compiling arm/x86-64 C compiler, linker, C library and ELF loader for command line or library use on macOS, Linux or bare me…☆26Updated 10 months ago
- Collection of tiny C ELF programs with graphics output☆32Updated last year
- C / C++ Compiler and standard library Conformance Test Suite☆13Updated 2 weeks ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆13Updated last year
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- Priority queue for C☆10Updated 2 years ago
- base64 single header encode/decode☆11Updated 2 years ago
- A bunch of C functions that are useful when writing simple code☆13Updated 5 months ago
- Minimal and fast regular expression library for C.☆18Updated 11 years ago
- A collection of tiny command-line games in C☆16Updated 3 months ago
- Tiny Regular Expression Matcher☆9Updated 5 years ago
- Self-hosting C toolchain, from scratch☆34Updated last month
- Self-hosting Real Mode x86 Assembler☆33Updated 5 months ago
- A single-header C library for encoding, decoding, and doing useful things with ANSI graphics escape sequences.☆26Updated 2 years ago
- libc and tools for creating size-optimized, statically linked Linux i386 and i686 programs☆22Updated 3 weeks ago
- Context-free grammar parsing library☆10Updated 5 months ago
- The tiny terminal text editor. Fighting bloatware - 600loc, linked statically with minilib linux32bit: 8k, osx x64: 20k☆20Updated 5 years ago
- Optimised x86-64 gzip decompressor☆29Updated 7 years ago
- (Fossil repository mirror) A tiny interpreter☆38Updated 7 months ago
- Two Kilo—fully functional texteditor in 2 kb of C☆13Updated 4 years ago
- Yet another C compiler.☆29Updated last year
- 100% XXTEA authenticated, chunked file encryption☆18Updated 4 years ago
- A C Templating Engine☆10Updated 7 years ago
- A collection of tools written or formerly managed by Jörg Schilling (mirror)☆13Updated 5 months ago
- Simplified LZFX-based compression library☆20Updated 2 years ago
- A tiny register based virtual machine.☆12Updated 10 years ago
- C JSON parser (both, SAX-like & full DOM)☆22Updated last year
- ☆32Updated last year
- Combinators in C☆38Updated 12 years ago