mmcco/ssh-auth-methods

Stars
12
Rank 1,597,372 (Top 32 %)
Language
Python
License
BSD 2-Clause "Sim...
Created about 10 years ago
Updated over 9 years ago

mmcco/ssh-auth-methods

mmcco

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

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

verified-parser-example

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

sljit

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

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/

Verified-BPF

Initial tinkering with a BPF metalanguage and implementation formally verified in 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

mutor

A tiny, simple Tor client implementation.