Giters
karthikbhargavan

karthikbhargavan

Geek Repo

15

followers

0

following

0

stars

Github PK Tool:Github PK Tool

karthikbhargavan's repositories

draft-ietf-tls-ctls

Language:MakefileLicense:NOASSERTIONStargazers:0Issues:0Issues:0

fizz

C++14 implementation of the TLS-1.3 standard

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

karthikbhargavan.github.io

Language:HTMLStargazers:0Issues:0Issues:0

minirust-hax

A precise specification for "Rust lite / MIR plus"

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

version2

Vector class library, latest version

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0