GitHub - ayappanec/hacl-star: HACL*, a formally verified cryptographic library written in F*

ayappanec / hacl-star Public

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

Name		Name	Last commit message	Last commit date
Latest commit History 17,677 Commits
.ci		.ci
.docker/build		.docker/build
.github		.github
.nix		.nix
code		code
dist		dist
doc		doc
hints		hints
lib		lib
obj		obj
providers		providers
specs		specs
tests		tests
tools		tools
vale		vale
.drone.yml		.drone.yml
.gitattributes		.gitattributes
.gitignore		.gitignore
CHANGES.md		CHANGES.md
CODEOWNERS		CODEOWNERS
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
GOVERNANCE.md		GOVERNANCE.md
LICENSE		LICENSE
MAINTAINERS.md		MAINTAINERS.md
Makefile		Makefile
Makefile.common		Makefile.common
Makefile.include		Makefile.include
Makefile.local		Makefile.local
Makefile.openssl		Makefile.openssl
PULL_REQUEST.md		PULL_REQUEST.md
README.md		README.md
SECURITY.md		SECURITY.md
build_local.sh		build_local.sh
flake.nix		flake.nix
pull_request_template.md		pull_request_template.md
runtimeconfig.json		runtimeconfig.json

Provide feedback