https://github.com/hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*
https://github.com/hacl-star/hacl-star

Keywords

cryptography everest formal-methods formal-verification hacl high-performance inria security verification verified-primitives

Keywords from Contributors

programming-language geometry

Last synced: 11 months ago
JSON representation

Acceptance Criteria

Revelant topics? true
External users? true
Open source license? true
Active? true
Fork? false

Repository metadata

HACL*, a formally verified cryptographic library written in F*

Host: GitHub
URL: https://github.com/hacl-star/hacl-star
Owner: hacl-star
License: apache-2.0
Created: 2016-06-23T12:37:16.000Z (almost 9 years ago)
Default Branch: main
Last Pushed: 2024-05-22T10:51:02.000Z (12 months ago)
Last Synced: 2024-05-22T11:54:40.307Z (12 months ago)
Topics: cryptography, everest, formal-methods, formal-verification, hacl, high-performance, inria, security, verification, verified-primitives
Language: F*
Homepage:
Size: 526 MB
Stars: 1,594
Watchers: 78
Forks: 160
Open Issues: 35
Releases: 0
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Codeowners: CODEOWNERS
- Security: SECURITY.md
- Governance: GOVERNANCE.md

Owner metadata

Name: hacl-star
Login: hacl-star
Email:
Kind: organization
Description:
Website:
Location:
Twitter:
Company:
Icon url: https://avatars.githubusercontent.com/u/58970371?v=4
Repositories: 4
Last ynced at: 2023-03-05T17:57:20.781Z
Profile URL: https://github.com/hacl-star

Committers metadata

Last synced: over 1 year ago

Total Commits: 15,620
Total Committers: 89
Avg Commits per committer: 175.506
Development Distribution Score (DDS): 0.848

Commits in past year: 641
Committers in past year: 16
Avg Commits per committer in past year: 40.063
Development Distribution Score (DDS) in past year: 0.638

Name	Email	Commits
Benjamin Beurdouche	b**e@i**r	2379
Jonathan Protzenko	j**o@g**m	1661
Dzomo the everest Yak	e**d@m**m	1219
Marina Polubelova	p**m@g**m	1130
Jean Karim	j**e@g**m	1014
Santiago Zanella-Beguelin	s**o@m**m	848
Aymeric Fromherz	f**z@c**u	724
Son Ho	h**c@g**m	667
Bryan Parno	p**o@c**u	591
Jonathan Protzenko	p**z@m**m	505
Karthikeyan Bhargavan	k**n@g**m	480
Jay Bosamiya	j**a@g**m	344
Marina Polubelova	m**a@n**m	329
Aymeric Fromherz	a**z@i**r	328
Christoph M. Wintersteiger	c**r@m**m	317
Chris Hawblitzel	C**l@m**m	303
karthikbhargavan	k**n@g**m	293
Aseem Rastogi	a**r@m**m	286
Nikhil Swamy	n****y	281
Joonwon Choi	j**c@m**u	203
Victor Dumitrescu	v**u@o**m	172
Tahina Ramananandro	t**a@m**m	170
Ann Weine	1****e	159
Paul-Nicolas Madelaine	p**m@p**f	157
Antoine Delignat-Lavaud	a**l@m**m	140
Franziskus Kiefer	f**r@g**m	115
Guido Martínez	m**o@g**m	107
Denis Merigoux	d**x@g**m	98
marina polubelova	m**a@w**r	90
Dzomo the everest Yak	e**d@m**	56
and 59 more...

Committer domains:

microsoft.com: 15
inria.fr: 6
cmu.edu: 2
nomadic-labs.com: 2
github.com: 2
mailbox.org: 2
mozilla.com: 2
mit.edu: 1
pnm.tf: 1
welles.paris.inria.fr: 1
microsoft.com : 1
mailo.com: 1
pl76-pro.paris.inria.fr: 1
vertalo.com: 1
here.com: 1
datashrine.de: 1
yandex.ru: 1
optoro.com: 1
benjaminlipp.de: 1
mpi-sp.org: 1
delignat-lavaud.fr: 1
bmpi.home: 1
archlinux.org: 1
links.org: 1
leerichardson.com: 1
aggiemail.usu.edu: 1
galois.com: 1
bnwr.net: 1
iki.fi: 1
everparse-build.redmond.corp.microsoft.com: 1
fstar-dev.fstar-dev3180.a5.internal.cloudapp.net: 1
nikdev.pfyjfl5bypxepg2ia0c5fb0zmc.bx.internal.cloudapp.net: 1

Issue and Pull Request metadata

Last synced: 11 months ago

Total issues: 38
Total pull requests: 203
Average time to close issues: 6 months
Average time to close pull requests: about 1 month
Total issue authors: 14
Total pull request authors: 22
Average comments per issue: 2.79
Average comments per pull request: 3.09
Merged pull request: 165
Bot issues: 0
Bot pull requests: 0

Past year issues: 11
Past year pull requests: 116
Past year average time to close issues: 2 months
Past year average time to close pull requests: 7 days
Past year issue authors: 6
Past year pull request authors: 12
Past year average comments per issue: 2.09
Past year average comments per pull request: 3.11
Past year merged pull request: 92
Past year bot issues: 0
Past year bot pull requests: 0

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/hacl-star/hacl-star

Top Issue Authors

msprotz (16)
franziskuskiefer (8)
15646739752 (2)
simo5 (2)
concatime (1)
ctz (1)
duesee (1)
felipelisboa-ml (1)
mamonet (1)
pnmadelaine (1)
polubelova (1)
R1kM (1)
tomato42 (1)
victor-dumitrescu (1)

Top Pull Request Authors

hacl-bot (56)
msprotz (35)
mtzguido (29)
pnmadelaine (23)
R1kM (19)
karthikbhargavan (6)
polubelova (6)
victor-dumitrescu (5)
mamonet (4)
franziskuskiefer (3)
ma-ilsi (3)
sonmarcho (2)
Frosne (2)
aseemr (2)
ayappanec (1)

Top Issue Labels

build (3)
enhancement (2)
Production (2)
bug (2)
P1 (1)
ci (1)
HACL-rs (1)

Top Pull Request Labels

question (1)
api (1)
build (1)
ready for review (1)

Dependencies

.github/workflows/dist.yml actions

actions/checkout v2 composite

.github/workflows/hacl-packages-create-branch.yml actions

actions/checkout v3 composite
thollander/actions-comment-pull-request v1 composite

.github/workflows/hacl-packages-delete-branch.yml actions

actions/checkout v3 composite

.github/workflows/hintsanddist.yml actions

actions/checkout v3 composite
peter-evans/create-pull-request v4 composite

.docker/build/linux/Dockerfile docker

${DOCKERHUBPROJECT}fstar-linux ${COMMITID} build

.docker/build/windows-nt/Dockerfile docker

${DOCKERHUBPROJECT}fstar-windows-nt ${COMMITID} build

.github/workflows/nix.yml actions

actions/checkout v3 composite
actions/upload-artifact v3 composite

Score: 11.884357978334185

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Sustainable Technology