Computer science PhD student at the University of Utah, researching compiler verification with @ regehr . UNIX historian and archivist. Rust standard library contributor.
Computer science PhD student at the University of Utah, researching compiler verification with @ regehr . UNIX historian and archivist. Rust standard library contributor.
A fantastic, fast regular expression engine that supports intersection, complement, and lookarounds in linear time, combining Brzozowski derivatives and lazy DFA construction.
https://iev.ee/blog/resharp-how-we-built-the-fastest-regex-in-fsharp/