Explore projects
-
PHTDev / dind
MIT LicenseUpdated -
-
Updated
-
Kevin Haninger / Collision Detection
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Personal projects / NGINX Demos
Apache License 2.0UpdatedUpdated -
-
Sven Geggus / opensc-fraunhofersc
GNU Lesser General Public License v2.1 onlyUpdated -
Personal projects / Salt Bootstrap
Apache License 2.0Updated -
Personal projects / Salt
Apache License 2.0Updated -
Updated
-
OSS Projects / Verifiable Credentials Java
Apache License 2.0Updated -
TRAIN / Temporary ZM for GXFS
Apache License 2.0Updated -
PHTDev / metadata
MIT LicenseUpdated -
-
-
-
DataSov / ekep
Apache License 2.0ProVerif formal models for the (modified) EKEP attestation protocol. Forked from https://github.com/google/ekep-analysis/.
Updated -
Updated
-
eis-ids / Metadata-Registry
Apache License 2.0Updated