Regex para extrair titulo e descrição duma OS

Parses the output of the automated theorem prover Vampire. Matches the output lines printed by the options --show_everything, --show_active, --show_new etc. Run vampire --show_everything on to generate a compatible string.

Parses the output of the automated theorem prover Vampire. Matches the output lines that contain the proof. Run vampire --proof on to generate a compatible string.

Not perfect but works

Converts camel or pascal case to snake case But it still needs to be converted to lower case

Get AT explain

Used to format kaggle dataset

Key - Value extractor

Inner field values extraction

For orth

SQL Query Scalar Field Names Extractor

.

Example of re and substitutions with csv file

Can be used to match Pakistani SIM card Numbers

This identifies whether a postcode (four numbers, two letters has been provided)

Project

this regular expression is for validating dates in yyyy-mm-dd format

extract title and page from ocr of pdf content by carlleonhard

htmltag

Get the changed files from the "git pull" output. Use finditer to get a list of Matches.