Discover mmcco/RepeatScout Open Source project

Stars
13
Rank 1,512,713 (Top 30 %)
Language
C
Created almost 10 years ago
Updated over 1 year ago

mmcco

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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/

verified-parser-example

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

Coq

sljit

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

ssh-auth-methods

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

Python

Verified-BPF

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

Coq

jh-bio

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

frama-c

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

OCaml

mutor

A tiny, simple Tor client implementation.

mmcco/RepeatScout

mmcco

Reviews

Repository Details

More Repositories