♥ Janusz Brzozowski
☆163Mar 1, 2024Updated 2 years ago
Alternatives and similar repositories for redgrep
Users that are interested in redgrep are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FPC calculates information to be used in fixed-point integer calculations☆29Feb 2, 2017Updated 9 years ago
- Statistics about data (cardinality estimation, frequent item detection, approximate counting,...)☆16Jun 21, 2022Updated 3 years ago
- Compiler intermediate language for static analysis.☆107Dec 5, 2018Updated 7 years ago
- Test suite for Capsicum☆45Feb 9, 2026Updated 2 months ago
- Experiments in converting bzip2 API to be RPC-based☆14Aug 17, 2016Updated 9 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.
- Import and export CommonJS modules in js_of_ocaml☆12May 19, 2016Updated 9 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Aug 27, 2015Updated 10 years ago
- RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It…☆9,658Jan 22, 2026Updated 3 months ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Most common environment checks in one place: system version, retina support, UI flat mode, device models and so on.☆46Nov 30, 2015Updated 10 years ago
- Normalization and difference calling for Next Generation Sequencing (NGS) data via joint multinomial modeling.☆11Oct 8, 2021Updated 4 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Juicy Language Compiler☆11Oct 8, 2017Updated 8 years ago
- Lua/Terra + Java Native Interface☆21Mar 3, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An experimental mutual induction tactic for Lean 4.☆28Apr 2, 2026Updated 3 weeks ago
- Sequence data structure with efficient random access insert and erase☆13Aug 15, 2023Updated 2 years ago
- Deterministic transactional database layer on top of a stream processing engine☆27Oct 27, 2019Updated 6 years ago
- A Scannerless GLR parser/parser generater.☆115Apr 21, 2026Updated last week
- Python + Numpy implementation of the Gene Expression Programming Evolutionary Algorithm☆11Sep 18, 2017Updated 8 years ago
- A streaming query language.☆57Oct 20, 2020Updated 5 years ago
- SWI-Prolog lambda runtime☆17Aug 12, 2024Updated last year
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆668Apr 15, 2026Updated 2 weeks ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 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.
- Sample implementation of a proposed C++ hashing framework☆29Oct 27, 2015Updated 10 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- An ultimately minimal persistent key-value store + LRU cache☆13Oct 19, 2015Updated 10 years ago
- A tool for creating GitHub Releases and uploading assets reliably☆15Oct 17, 2023Updated 2 years ago
- Multinomials for the Mathematical Components library.☆17Apr 14, 2026Updated 2 weeks ago
- Simple implementation of a parsing algorithm inspired by Earley☆15Apr 3, 2022Updated 4 years ago
- Compact, non-backtracking, unicode aware regular expressions in C89☆10Apr 17, 2025Updated last year
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 5 years ago
- High-performance regular expression matching library☆5,369Feb 13, 2026Updated 2 months 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.
- compressed, queryable variation graphs☆11Jun 25, 2015Updated 10 years ago
- Perl Incompatible Regular Expressions library☆337Sep 8, 2020Updated 5 years ago
- ☆14Jul 15, 2024Updated last year
- SIMDized check which bytes are in a set☆29Oct 21, 2018Updated 7 years 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
- Sets of runes with a UTF-8 tree structure☆14May 26, 2016Updated 9 years ago
- Emacs stuff to provide lightweight usable SSH access☆10Apr 17, 2026Updated last week