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:
- Here we give programs that check if Turing machines halt or not.☆16Sep 1, 2025Updated 10 months ago
- An easy and powerful assembler engine in python.☆54Sep 8, 2019Updated 6 years ago
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆39Jul 6, 2017Updated 8 years ago
- 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 7 years ago
- Rust bindings for LibreSSL's libtls library.☆15Jul 31, 2022Updated 3 years ago
- Rust multihash implementation☆16Oct 1, 2020Updated 5 years ago
- Light and dark colorscheme for vim☆11Apr 15, 2020Updated 6 years ago
- linear concat language☆52Apr 17, 2026Updated 2 months ago
- A simple tool to help me run fio benchmark☆11Jun 27, 2018Updated 8 years ago
- ☆11Sep 17, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Dec 5, 2022Updated 3 years ago
- dotfiles and friends.☆28May 19, 2026Updated last month
- Loose implementation of Puppet Labs facter in golang☆13Mar 2, 2026Updated 4 months ago
- **Abandoned** Tomu+ board - no longer under development!☆14Feb 3, 2018Updated 8 years ago
- Rust bindings for SPDK☆12Mar 5, 2020Updated 6 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
- Simple LDAP client for OpenBSD using aldap, pledge(2) and no OpenLDAP☆15Jun 13, 2018Updated 8 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
- The Core Paper Project of EVM☆15Nov 2, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 豆备 (Doubak) - 豆瓣 (Douban.com) 命令行版备份工具，备份完整页面镜像，Golang实现。☆10Aug 11, 2024Updated last year
- Vim-Quickly: Quickly jump to files. Cozy up to :find, :buffer, and :oldfiles.☆13Mar 1, 2018Updated 8 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆18Jun 17, 2019Updated 7 years ago
- ☆23Mar 6, 2023Updated 3 years ago
- Tracing based copy-and-patch compiler for low-latency realtime Python☆71Jun 17, 2026Updated 2 weeks ago
- ☆15Dec 22, 2025Updated 6 months ago
- ☆12Mar 10, 2024Updated 2 years ago
- A d-ary heap in Rust☆22Apr 16, 2026Updated 2 months ago
- ☆13Dec 25, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Lester, the Lustre lister; quickly scan MDT to generate lists of file matching given criteria☆15Mar 15, 2022Updated 4 years ago
- Multiplication on optimal λ-calculus reducers☆23Aug 14, 2020Updated 5 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Type definitions for the SWF file format (Rust and Typescript)☆13May 10, 2022Updated 4 years ago
- 标准QIFI账户格式以及其他数据格式读取☆15Mar 21, 2025Updated last year
- a way to know when a running program is using an old version of upgraded files (for OpenBSD)☆13Dec 21, 2019Updated 6 years ago
- BSD-licensed CTF Implementation☆22Jul 18, 2015Updated 10 years ago