gitnit

followers

following

stars

gitnit's starred repositories

Python interface to GAP

Language:CythonGPL-3.01300

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellGPL-3.040500