Michael McConville (@mmcco)
github

mmcco

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    80
  • Global Rank 244,154 (Top 9 %)
  • Followers 24
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    Coq     25.0 %
    Go
         25.0 %
    C
         25.0 %
    OCaml
         12.5 %
    Python
         12.5 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 51,607
  • Country Ranking
    Coq     32
    OCaml
         710
    C
         4,177

Top repositories

1

verified-parser-example

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

sljit

A fork of the original sljit: http://sljit.sourceforge.net/
C
20
star
3

RepeatScout

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
13
star
4

ssh-auth-methods

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

Verified-BPF

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

jh-bio

A Golang tool that finds sequence read alignments using annotated repeats.
Go
2
star
7

frama-c

A mirror of Frama-C Magnesium, obtained from http://frama-c.com/download.html
OCaml
2
star
8

mutor

A tiny, simple Tor client implementation.
Go
1
star