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