popular
trending
lists
login
Formal languages
Algorithms on strings
Computer languages
Dependently typed languages
Formal theories
Grammar frameworks
Graph rewriting
L-systems
Logic symbols
Metalanguages
Parsing
Pattern matching
Problems on strings
Trace theory
Ludwig Staiger
Latest Activity
Latest Events
Alaina Marie Scott and Matt Moeller
Child - 14th Apr 2026
by missepticeye
Lane Johnson and Kelsey Holmer
Marriage - 12th Apr 2026
by missepticeye
Jessie Cave and Alfie Brown (i)
Engagement - 12th Apr 2026
by missepticeye
Chase McWhorter and Hallie Batchelder
Hookup - 12th Apr 2026
by missepticeye
see more
Follow WDW on Facebook
