Regular Expressions 101

Order By

Sponsors
There are currently no sponsors. Become a sponsor today!

Community Patterns

107

ECMAScript/JavaScript trim

ECMAScript (JavaScript)
Trim leading and trailing whitespace from a string.
Submitted by fp - 11 years ago (Last modified 3 months ago)
238

Matching email addresses per RFC5322

PCRE (PHP <7.3)
The BNF rules from RFC 5322 transformed to PCRE by Nikita Popov and described in the post http://nikic.github.io/2012/06/15/The-true-power-of-regular-expressions.html.
Submitted by Michael Musson - 11 years ago
483

regex101.com permalink id grabber

PCRE (PHP <7.3)
Grabs the ID for the regex101.com permalink code. If a revision number is provided, grab that as well.
Submitted by chris mccoy - 11 years ago (Last modified 8 months ago)
1...900901902

Community Library Entry

0

Regular Expression
Python

r"
^(?P<formula_id>\d+)\. (?P<formula>.+) \[(?P<inference_rule>[\w ]*)(?: (?P<inference_parents>[\d,]+))?\](?: \{(?P<extra>[\w,:-]*)\})?$
"
mg
Open regex in editor

Description

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.

Submitted by Filip Bártek - 2 years ago