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:
- Library for writing text-based user interfaces☆12Dec 22, 2017Updated 8 years ago
- an experimental distribution based on musl libc and busybox☆11Jan 25, 2018Updated 8 years ago
- Ex command history reverse-i-search for Vim☆24Oct 5, 2013Updated 12 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆39Jul 6, 2017Updated 8 years ago
- Gunicorn worker for Sanic☆12Apr 23, 2017Updated 9 years 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
- ☆16May 5, 2018Updated 8 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
- Rust bindings for LibreSSL's libtls library.☆15Jul 31, 2022Updated 3 years ago
- Light and dark colorscheme for vim☆11Apr 15, 2020Updated 6 years ago
- linear concat language☆50Apr 17, 2026Updated last month
- 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Build an SSL capable transparent proxying WiFi Access point with budget commodity hardware and Open Source software.☆15Mar 1, 2013Updated 13 years ago
- The BlockchainProvider but using RPC instead of DB☆11Jul 16, 2025Updated 10 months ago
- dotfiles and friends.☆28May 14, 2026Updated last week
- Loose implementation of Puppet Labs facter in golang☆13Mar 2, 2026Updated 2 months 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
- [2007] Windows tool, offers the ability to dynamically and transparently modify incoming and outgoing network traffic, as well as to redi…☆12Nov 27, 2017Updated 8 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.
- 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 django cache backend for convenient model cache☆12Apr 19, 2017Updated 9 years ago
- Stacks and queues with compact representations☆16Sep 3, 2020Updated 5 years ago
- 豆备 (Doubak) - 豆瓣 (Douban.com) 命令行版备份工具，备份完整页面镜像，Golang实现。☆10Aug 11, 2024Updated last year
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆18Jun 17, 2019Updated 6 years ago
- ☆23Mar 6, 2023Updated 3 years ago
- Tracing based copy-and-patch compiler for low-latency realtime Python☆70Updated this week
- ☆15Dec 22, 2025Updated 5 months 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.
- A research notes about how to get benefits from Cython to be asynchronous beyond IO tasks☆12Feb 17, 2020Updated 6 years ago
- ☆12Mar 10, 2024Updated 2 years ago
- A d-ary heap in Rust☆22Apr 16, 2026Updated last month
- BSD-licensed CTF Implementation☆21Jul 18, 2015Updated 10 years ago
- Lester, the Lustre lister; quickly scan MDT to generate lists of file matching given criteria☆15Mar 15, 2022Updated 4 years ago
- Docker Image running the MATE desktop environment☆11Apr 26, 2017Updated 9 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago