Regular Expressions 101

Sponsors

Library entries

1
java

phone number middle number parsing

middle number parsing regex
Submitted by anonymous - 2 days ago
0
java

Verify email

Regex for email
Submitted by anonymous - 4 days ago
0
python

foengz1

htmltag
Submitted by Foengz - 9 days ago
0
python

Project

Project
Submitted by anonymous - 14 days ago
1
python

surnames

italian uppercase surnames
Submitted by anonymous - 21 days ago
0
python

AyL

Example of re and substitutions with csv file
Submitted by Ing Daniel Pérez - 21 days ago
0
python

number two decimal digit

.
Submitted by anonymous - 23 days ago
0
java

for-orth

For orth
Submitted by gastipatis - a month ago
0
java

Inner field values extraction

Inner field values extraction
Submitted by anonymous - a month ago

Vampire output formulas

Vote

0

Regular Expression
python

"
^\[(?P<phase>\w+)\] (?P<operation>[\w ]+): (?P<formula_id>\d+)\. (?P<formula>.+) \[(?P<inference>[\w ,]*)\]$
"
mg

Description

Loading markdown...
Submitted by Filip Bártek - a month ago