Popular repositories Loading

1. djcl djcl Public

   DJS Crypto Library

   JavaScript 12 2

2. FStar FStar Public

   Forked from FStarLang/FStar

   An ML-like language with a type system for program verification

   F# 2

3. draft-ietf-scitt-architecture draft-ietf-scitt-architecture Public

   Forked from ietf-wg-scitt/draft-ietf-scitt-architecture

   An Architecture for Trustworthy Digital Supply Chain Transparency Services

   Makefile 1

4. app-attestation-encryption app-attestation-encryption Public

   A proxy to encrypt requests to a LangChain/Ollama API with RAG

   JavaScript 1 1

5. ravl ravl Public

   Forked from microsoft/ravl

   Remote Attestation Verification Library

   C++ 1

6. tls13-spec tls13-spec Public

   Forked from tlswg/tls13-spec

   TLS 1.3 Specification

   Python