pippijn / dreml

Partial derivatives based extended regular expression submatcher

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

dreml

Partial derivatives based extended regular expression submatcher.

This project implements an ocamllex replacement with submatching and support for extended regular expressions. It currently a work in progress. All features have been implemented except for code generation, which is required to run a lexer specification. You may run examples on the C lexer in testsuite/c_lexer.mll.

About

Partial derivatives based extended regular expression submatcher


Languages

Language:TeX 48.2%Language:OCaml 40.5%Language:Standard ML 5.5%Language:Coq 2.4%Language:Makefile 1.9%Language:C 1.0%Language:Perl 0.5%