Andrew Gallant c49c9d6ba8

scripts: add shell script for Unicode tables ...

This replaces the previous Python script, which was starting to rot
slightly. In general, I prefer shell scripts for this sort of thing,
even at the cost of some portability across other platforms.

2019-07-20 22:43:05 -04:00

..

frequencies.py

Major literal optimization refactoring.

2016-03-27 20:07:46 -04:00

generate-unicode-tables

scripts: add shell script for Unicode tables

2019-07-20 22:43:05 -04:00

regex-match-tests.py

Divorce regex_macros from regex.

2015-02-28 14:15:36 -05:00

scrape_crates_io.py

test: add random testing of crates.io regex

2018-06-21 12:45:45 -04:00