Michael McConville

icon indicating a website link https://www.sccs.swarthmore.edu/~mmcconv1

icon company University of Utah icon location Salt Lake City, UT icon location Boston native. Swarthmore College alumnus.

Results 2 repositories owned by Michael McConville

sljit

20
Stars
2
Forks
Watchers

A fork of the original sljit: http://sljit.sourceforge.net/

verified publisher icon mmcco

verified-parser-example

20
Stars
1
Forks
Watchers

A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.

verified publisher icon mmcco