A Verified Packrat Parser Interpreter for Parsing Expression Grammars
36:23
Dependently Typed Multi-Stage Programming, Revisited
14:18
Fast Incremental PEG Parsing
1:25:25
16. Complexity: P, NP, NP-completeness, Reductions
1:03:37
Sade - Ultimate
47:14
PEGs, Packrats and Parser Combinators — Part 1: An Introduction to PEGs and PetitParser
1:23:37
This is not Coq
1:01:56
Samba Bossa Nova (Official Putumayo Version)
20:28