Skip to content
View mmcco's full-sized avatar

Block or report mmcco

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. verified-parser-example verified-parser-example Public

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

    Coq 20 1

  2. sljit sljit Public

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

    C 20 2

  3. RepeatScout RepeatScout Public

    The RepeatScout 1.0.5, written by Pevzner et al., source code for browsing. The official release and more information are available at http://bix.ucsd.edu/repeatscout/

    C 14 7

  4. ssh-auth-methods ssh-auth-methods Public

    A simple threaded Python script that returns the authentication methods supported by each of a list of SSH servers..

    Python 12 2

  5. Verified-BPF Verified-BPF Public

    Initial tinkering with a BPF metalanguage and implementation formally verified in Coq.

    Coq 10 1

  6. jh-bio jh-bio Public

    A Golang tool that finds sequence read alignments using annotated repeats.

    Go 2