rurban / tiny-regex-cLinks
Small portable regex in C (cbmc verified, and extended)
☆14Updated 2 years ago
Alternatives and similar repositories for tiny-regex-c
Users that are interested in tiny-regex-c are comparing it to the libraries listed below
Sorting:
- mirror of Fabrice Bellard's libbf tar releases, with fixes and CI☆14Updated 4 months ago
- Self-hosting C toolchain, from scratch☆36Updated 10 months ago
- A compiler for a subset of C11 language. Under development...☆13Updated last year
- C/C++ library for dynamic data structures, regular expressions, lexical analysis & more...☆25Updated 4 years ago
- Software and documentation, mostly from the 80s and 90s☆24Updated 10 years ago
- A small C compiler☆33Updated 5 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last week
- x86_64 macro assembler entirely in C preprocessor☆45Updated 5 years ago
- intelligent and automatic build system for C☆15Updated 4 years ago
- Minimal LISP Compiler for x86_64☆15Updated 3 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆14Updated 2 years 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 …☆18Updated last year
- A portable linker for multiple file formats.☆13Updated 2 years ago
- SDK for building cross-platform desktop apps in ANSI-C☆13Updated 2 years ago
- A bignum library for C.☆33Updated last year
- Rag-bag of utilities and scripts that do strange things with ELF files☆18Updated 3 weeks ago
- A tiny C compiler of 2k lines of codes, generates pure x86 asm code for DOS/Win32/Linux 3 backends.☆38Updated 4 years ago
- A Python-based C compiler for x86-64, featuring full parsing, semantic analysis, IR generation, and assembly code emission.☆25Updated 3 months ago
- Context-free grammar parsing library☆10Updated last year
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆12Updated 6 years ago
- High-speed lossless data compression of 16 to 512 bytes--get better average compression than QuickLZ for 512-byte blocks. td512 maintains…☆25Updated 3 years ago
- Collection of tiny C ELF programs with graphics output☆33Updated 2 years ago
- Small x86 opcode decoder library☆37Updated last year
- a simple and human readable binary diff format and implementation☆18Updated last year
- Yet another C compiler.☆30Updated 2 months ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Simplified LZFX-based compression library☆21Updated 2 years ago
- ☆58Updated 2 months ago
- Single header C99 compiler (TCC)☆35Updated 8 months ago
- A toy c compiler written in python☆12Updated last year