PhD student in the FastPL group at Imperial College London with an interest in the application of formal methods to programming langauges.
Highlights
- Pro
Pinned Loading
-
mc-imperial/dredd
mc-imperial/dredd PublicA mutation testing tool designed to work with large C++ (and C) codebases.
-
scalex
scalex PublicA lexer generator written in Scala that uses metaprogramming to specify efficient lexers in Scala source files.
Scala
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.