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☆14Updated 2 years ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- SDK for building cross-platform desktop apps in ANSI-C☆13Updated 2 years ago
- intelligent and automatic build system for C☆13Updated 4 years ago
- Collection of tiny C ELF programs with graphics output☆33Updated 2 years ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last month
- A small C compiler☆33Updated last month
- Self-hosting C toolchain, from scratch☆36Updated 6 months ago
- ☆42Updated last month
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆14Updated last year
- Yet another C compiler.☆30Updated last year
- a simple and human readable binary diff format and implementation☆17Updated last year
- i440fx BIOS source code intended for Bochs☆13Updated 2 months ago
- A compiler for a subset of C11 language. Under development...☆12Updated last year
- C preprocessor utilities☆20Updated 7 years ago
- C/C++ library for dynamic data structures, regular expressions, lexical analysis & more...☆25Updated 4 years ago
- Personal branch of git://c9x.me/qbe.git☆36Updated 3 years ago
- A bunch of C functions that are useful when writing simple code☆14Updated 10 months ago
- A ridiculous Python interpreter written—from scratch—in Rust.☆23Updated last week
- ☆57Updated 4 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- rf is a command-line tool capable of refactoring C and C++ source code.☆24Updated 2 years ago
- Context-free grammar parsing library☆10Updated 10 months ago
- ADAM is an actively developed CSPRNG inspired by ISAAC64☆21Updated last month
- HTTP client for embedded use - supports redirects and resume.☆20Updated 8 months ago
- A simple ARM/x86(_64) static linker☆43Updated 2 years ago
- An esoteric programming language☆33Updated 4 years ago
- Improved NetBSD's Perfect Hash Generation Tool v3☆20Updated last year
- Convert a dynamically linked binary to a statically linked binary going thorugh LLVM IR, using mcsema☆12Updated 6 years ago
- A collection of clean, modern, single-file C libraries for building Unix terminal programs☆23Updated 5 years ago