Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/project-everest%2Fmitls-fstar

Stars: 172
Forks: 17
Open Issues: 75

License: other
Language: F*
Repo Size: 72.9 MB
Dependencies: 20

Created: over 8 years ago
Updated: about 2 months ago
Last pushed: 12 days ago
Last synced: 12 days ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    apps/HttpServer/packages.config nuget
    apps/echo/packages.config nuget
    libs/fs/DHDBManager/packages.config nuget
    libs/fs/Platform/packages.config nuget
    src/mipki-fs/packages.config nuget
    .docker/build/linux/Dockerfile docker
    .docker/build/windows-nt/Dockerfile docker