cyphar / redone
A *correct* implementation of regular expression matching (using finite state automata).
☆48Updated 9 years ago
Alternatives and similar repositories for redone:
Users that are interested in redone are comparing it to the libraries listed below
- Tweet probabilistically generated HN post titles.☆29Updated 2 years ago
- bloc is a better locate tool for finding files in your system☆19Updated 6 years ago
- ☆37Updated 6 years ago
- extreme throughput http daemon☆61Updated 9 years ago
- Go implementation of libhydrogen - a lightweight, easy-to-use crypto library☆24Updated 8 years ago
- Rust implementation of CryptoURI: URN-like namespace for cryptographic objects with Bech32-based encoding☆36Updated last year
- Repeatedly calls git-blame to see full history of whatever you ask of git-blame☆15Updated 5 years ago
- Thesis conducted for obtaining the Master's degree in Computer Science from the University of Liège☆14Updated 8 years ago
- portable version of OpenBSD's signify(1) signature tool☆13Updated 9 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Go HTTP Strict Transport Security library☆22Updated 7 months ago
- Makefile Templates☆19Updated 8 years ago
- A first experience with Rust☆30Updated 9 years ago
- A Python 3 compiler that anyone can understand.☆67Updated 10 years ago
- An idea to handle left-recursion in Parsing Expression Grammars (PEGs)☆36Updated 14 years ago
- build static rust position-independant-executables without any runtime requirements (no libc or ldso)☆42Updated 7 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- a toolset for autogenerating rust APIs and translating structs☆25Updated 6 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 8 years ago
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- Hash Array Mapped Trie (HAMT) and Ctrie Implementations for Rust☆13Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- An implementation of Brodal-Okasaki heap using Go.☆26Updated 9 years ago
- a tree. with versions.☆13Updated 7 years ago
- Colorize stderr☆16Updated 8 years ago
- carp-rs allows a couple of hosts to share common virtual IP addresses in order to provide automatic failover. It is a portable userland i…☆27Updated 9 years ago
- Implementation of popular consensus protocols☆21Updated 4 years ago
- A simple PostgreSQL data migration tool☆19Updated 6 years ago
- A bash-like shell that performs basic functions of a shell. Made as a project for my course of System Software.☆60Updated 4 years ago
- Schrödinger's Tcl☆30Updated 10 years ago