ceedubs / irrec Public

composable regular expressions based on Kleene algebras and recursion schemes

Name		Name	Last commit message	Last commit date
Latest commit History 147 Commits
benchmarks		benchmarks
docs		docs
kleene/src/main/scala		kleene/src/main/scala
parser/src/main/scala		parser/src/main/scala
project		project
regex-gen/src/main/scala		regex-gen/src/main/scala
regex/src/main/scala		regex/src/main/scala
scripts		scripts
tests		tests
website		website
.gitignore		.gitignore
.scalafmt.conf		.scalafmt.conf
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
build.sbt		build.sbt
shell.nix		shell.nix