A *correct* implementation of regular expression matching (using finite state automata).
☆49Mar 28, 2016Updated 10 years ago
Alternatives and similar repositories for redone
Users that are interested in redone are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An easy and powerful assembler engine in python.☆54Sep 8, 2019Updated 6 years ago
- an experimental distribution based on musl libc and busybox☆11Jan 25, 2018Updated 8 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆38Jul 6, 2017Updated 8 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Aug 10, 2025Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- cinit is a fast, small and simple init with support for profiles☆19Oct 5, 2009Updated 16 years ago
- Minimal, efficient proof language☆15May 28, 2019Updated 6 years ago
- A HTTPS/SOCKS4/SOCKS5 tunnel for AsyncIO.☆21May 28, 2015Updated 10 years ago
- Kernighan's Awk a.k.a. "One True Awk"☆58Jul 24, 2016Updated 9 years ago
- raw bindings for git://git.kernel.dk/liburing☆17Jan 15, 2020Updated 6 years ago
- Rust multihash implementation☆16Oct 1, 2020Updated 5 years ago
- Light and dark colorscheme for vim☆11Apr 15, 2020Updated 6 years ago
- Userspace file-system using the TokuFT fractal tree library☆23Jul 16, 2021Updated 4 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Parag Patel's Z80 Emulator☆50Apr 21, 2016Updated 10 years ago
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 9 months ago
- A simple tool to help me run fio benchmark☆11Jun 27, 2018Updated 7 years ago
- ☆11Sep 17, 2020Updated 5 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- The second extended filesystem (ext2) in Java☆10Aug 26, 2021Updated 4 years ago
- dotfiles and friends.☆28Oct 13, 2025Updated 6 months ago
- **Abandoned** Tomu+ board - no longer under development!☆14Feb 3, 2018Updated 8 years ago
- Smart control for a big storage☆19Apr 21, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rust bindings for SPDK☆12Mar 5, 2020Updated 6 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 14 years ago
- terminal wrapper library for ncurses with smooth 256 color handling, termbox, or a virtual terminal on SDL☆18Oct 16, 2022Updated 3 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆32Jul 18, 2014Updated 11 years ago
- Simple LDAP client for OpenBSD using aldap, pledge(2) and no OpenLDAP☆15Jun 13, 2018Updated 7 years ago
- OGRT Runtime Tracker☆12Dec 4, 2019Updated 6 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Wrapper providing a safe and simple way to access liburing-sys features.☆19Jun 5, 2019Updated 6 years ago
- A multithreaded discrete event simulation library in C, using POSIX pthreads for parallelized replications and stackful asymmetric corout…☆67Apr 27, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Core Paper Project of EVM☆15Nov 2, 2019Updated 6 years ago
- Stacks and queues with compact representations☆16Sep 3, 2020Updated 5 years ago
- The 10 millionth JavaScript Scheme interpreter.☆15Feb 14, 2020Updated 6 years ago
- Tracing based copy-and-patch compiler for low-latency realtime Python☆70Apr 28, 2026Updated last week
- ☆15Dec 22, 2025Updated 4 months ago
- LittleBit is a pure Huffman coding compression algorithm with the option of random access reading while offering competitive compression …☆14Jul 4, 2021Updated 4 years ago
- A d-ary heap in Rust☆22Apr 16, 2026Updated 2 weeks ago