Beast code in Giters

Cas Cremers's repositories

Command-line tool to inspect the difference between (the text in) two PDF files

Language:Python200 4 5

The Scyther Tool for the symbolic analysis of security protocols

Language:C96 9 26

Language:HTML100

Language:MakefileNOASSERTION1 10

Main repository of the Tamarin prover for security protocol verification.

Language:HaskellGPL-3.01 20

000

:deciduous_tree: Low-contrast Vim color scheme based on Seoul Colors

Language:VimL010

TLS 1.3 Specification

Language:Python010

Windows 10 window tiling for GNOME

Language:JavaScriptGPL-3.0000