♥ 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
Sorting:
- Experiments about intermediate representations in compilers☆28Aug 24, 2012Updated 13 years ago
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 3 years ago
- 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☆46Feb 9, 2026Updated last month
- 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,620Jan 22, 2026Updated last month
- This small library enables acceleration of bulk calls of certain math functions on AVX and AVX2 hardware. Currently supported operations …☆86Nov 12, 2021Updated 4 years ago
- Regular Expression Matching in Haskell☆34Feb 2, 2018Updated 8 years ago
- Many queue implementations with a test-suite☆11May 4, 2022Updated 3 years ago
- A deterministic parser with fused lexing☆75Jul 1, 2023Updated 2 years ago
- a copy of m^2 's fsbench (https://chiselapp.com/user/Justin_be_my_guide/repository/fsbench/) with the latest density updates☆14Dec 30, 2019Updated 6 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 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
- Boost Filesystem Library with modifications for the C++ standards committee proposal☆19Dec 5, 2018Updated 7 years ago
- Juicy Language Compiler☆11Oct 8, 2017Updated 8 years ago
- Load WARC files into Apache Spark with sparklyr☆12Jan 11, 2022Updated 4 years ago
- Fully featured C++ enums; to/from string, iteration, enum-set class, type safety, custom properties, static/const(expr), more...☆11Jul 17, 2018Updated 7 years ago
- 64-bit PRNG shootout☆19Jun 5, 2025Updated 9 months ago
- Sequence data structure with efficient random access insert and erase☆13Aug 15, 2023Updated 2 years ago
- A Scannerless GLR parser/parser generater.☆114Mar 6, 2026Updated 2 weeks ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- Deterministic transactional database layer on top of a stream processing engine☆27Oct 27, 2019Updated 6 years ago
- Python + Numpy implementation of the Gene Expression Programming Evolutionary Algorithm☆11Sep 18, 2017Updated 8 years ago
- A collection of tools that dump MIDI to a variety of formats☆30Feb 4, 2021Updated 5 years ago
- SWI-Prolog lambda runtime☆17Aug 12, 2024Updated last year
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Sep 18, 2018Updated 7 years ago
- Fast Approximate Membership Filters (C++)☆24Apr 27, 2021Updated 4 years ago
- ☆32Mar 19, 2016Updated 10 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆666Mar 4, 2026Updated 2 weeks ago
- An experiment in using DuckDB for a datalog / egg☆27Oct 11, 2023Updated 2 years ago
- 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
- A tool for creating GitHub Releases and uploading assets reliably☆15Oct 17, 2023Updated 2 years ago