Verified implementation of TLS 1.3 in F* - Project Everest - project-everest

GitHub GitHub
Size 87.8M (87.5M (+292K))
Commits 7493 (7489 (+4))
Update Stats 22s ... 1m8s (25s * 10)
Last Change 2020-08-03 13:51:32
Last Check 2020-08-03 13:51:02
Created 2020-05-15 15:40:25
Remotes
1. https://github.com/project-everest/mitls-fstar
Forks
1. https://github.com/andreasdotorg/mitls-fstar
2. https://github.com/b0r3dd3v/mitls-fstar
3. https://github.com/CarolineMathieson/mitls-fstar
4. https://github.com/frederik256/mitls-fstar
5. https://github.com/gitcollect/mitls-fstar
6. https://github.com/kleopatra999/mitls-fstar
7. https://github.com/richardlford/mitls-fstar
8. https://github.com/sunbokai/mitls-fstar
9. https://github.com/tahina-pro/mitls-fstar
10. https://github.com/Varad0612/mitls-fstar
11. https://github.com/vincentjzimmer/mitls-fstar
12. https://github.com/vkanne-msft/mitls-fstar
13. https://github.com/wintersteiger/mitls-fstar

Messages as of last check on 2020-08-03 13:51:02

Operation

xhwyli/mitls-fstar
Varad0612/mitls-fstar
b0r3dd3v/mitls-fstar
CarolineMathieson/mitls-fstar
kleopatra999/mitls-fstar
tahina-pro/mitls-fstar
andreasdotorg/mitls-fstar
wintersteiger/mitls-fstar
vincentjzimmer/mitls-fstar
gitcollect/mitls-fstar
vkanne-msft/mitls-fstar
sunbokai/mitls-fstar
richardlford/mitls-fstar
frederik256/mitls-fstar
m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fmitls-fstar  https://github.com/project-everest/mitls-fstar (fetch)
m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fmitls-fstar  https://github.com/project-everest/mitls-fstar (push)
m-vcs-github-fork-CarolineMathieson https://github.com/CarolineMathieson/mitls-fstar (fetch)
m-vcs-github-fork-CarolineMathieson https://github.com/CarolineMathieson/mitls-fstar (push)
m-vcs-github-fork-Varad0612 https://github.com/Varad0612/mitls-fstar (fetch)
m-vcs-github-fork-Varad0612 https://github.com/Varad0612/mitls-fstar (push)
m-vcs-github-fork-andreasdotorg https://github.com/andreasdotorg/mitls-fstar (fetch)
m-vcs-github-fork-andreasdotorg https://github.com/andreasdotorg/mitls-fstar (push)
m-vcs-github-fork-b0r3dd3v  https://github.com/b0r3dd3v/mitls-fstar (fetch)
m-vcs-github-fork-b0r3dd3v  https://github.com/b0r3dd3v/mitls-fstar (push)
m-vcs-github-fork-frederik256   https://github.com/frederik256/mitls-fstar (fetch)
m-vcs-github-fork-frederik256   https://github.com/frederik256/mitls-fstar (push)
m-vcs-github-fork-gitcollect    https://github.com/gitcollect/mitls-fstar (fetch)
m-vcs-github-fork-gitcollect    https://github.com/gitcollect/mitls-fstar (push)
m-vcs-github-fork-kleopatra999  https://github.com/kleopatra999/mitls-fstar (fetch)
m-vcs-github-fork-kleopatra999  https://github.com/kleopatra999/mitls-fstar (push)
m-vcs-github-fork-richardlford  https://github.com/richardlford/mitls-fstar (fetch)
m-vcs-github-fork-richardlford  https://github.com/richardlford/mitls-fstar (push)
m-vcs-github-fork-sunbokai  https://github.com/sunbokai/mitls-fstar (fetch)
m-vcs-github-fork-sunbokai  https://github.com/sunbokai/mitls-fstar (push)
m-vcs-github-fork-tahina-pro    https://github.com/tahina-pro/mitls-fstar (fetch)
m-vcs-github-fork-tahina-pro    https://github.com/tahina-pro/mitls-fstar (push)
m-vcs-github-fork-vincentjzimmer    https://github.com/vincentjzimmer/mitls-fstar (fetch)
m-vcs-github-fork-vincentjzimmer    https://github.com/vincentjzimmer/mitls-fstar (push)
m-vcs-github-fork-vkanne-msft   https://github.com/vkanne-msft/mitls-fstar (fetch)
m-vcs-github-fork-vkanne-msft   https://github.com/vkanne-msft/mitls-fstar (push)
m-vcs-github-fork-wintersteiger https://github.com/wintersteiger/mitls-fstar (fetch)
m-vcs-github-fork-wintersteiger https://github.com/wintersteiger/mitls-fstar (push)
m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fmitls-fstar
m-vcs-github-fork-CarolineMathieson
m-vcs-github-fork-Varad0612
m-vcs-github-fork-andreasdotorg
m-vcs-github-fork-b0r3dd3v
m-vcs-github-fork-frederik256
m-vcs-github-fork-gitcollect
m-vcs-github-fork-kleopatra999
m-vcs-github-fork-richardlford
m-vcs-github-fork-sunbokai
m-vcs-github-fork-tahina-pro
m-vcs-github-fork-vincentjzimmer
m-vcs-github-fork-vkanne-msft
m-vcs-github-fork-wintersteiger
7489
Fetching m-vcs-github-fork-wintersteiger
Fetching m-vcs-github-fork-richardlford
Fetching m-vcs-github-fork-sunbokai
Fetching m-vcs-github-fork-andreasdotorg
Fetching m-vcs-github-fork-frederik256
Fetching m-vcs-github-fork-tahina-pro
Fetching m-vcs-github-fork-CarolineMathieson
Fetching m-vcs-github-fork-vincentjzimmer
Fetching m-vcs-github-fork-kleopatra999
Fetching m-vcs-github-fork-Varad0612
Fetching m-vcs-github-fork-b0r3dd3v
Fetching m-vcs-github-fork-vkanne-msft
Fetching m-vcs-github-fork-gitcollect
Fetching m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fmitls-fstar

From https://github.com/project-everest/mitls-fstar
   d24e2aeb2..5c8f80aa4  master     -> m-vcs-git-https%3a%2f%2fgithub.com%2fproject-everest%2fmitls-fstar/master
7493

Contact information

Mail to Andreas Kupries