KeY Theorem Prover for Deductive Java Verification
-
Updated
Jun 2, 2024 - Java
KeY Theorem Prover for Deductive Java Verification
这是由SN-Grotesque使用C++开发的代码库,取名为:Wizard Magic Key Cyber(网络巫师的魔法钥匙)
Find and fix 360+ types of hardcoded secrets and 70+ types of infrastructure-as-code misconfigurations.
Python reference implementation of The Update Framework (TUF)
Blender addon for games based on the Sith game engine.
Public code samples and resources for the Thales CipherTrust Application Protection products of the CipherTrust Data Security Platform
Generation of token's and id's
A C++ implementation of ChaCha20 & Poly1305 stream cipher described in RFC - 8439.
C# .NET NOSQL ( key value store embedded ) ACID multi-paradigm database management system.
An asynchronous .NET Standard 2.0 library that allows you to lock based on a key (keyed semaphores), limiting concurrent threads sharing the same key to a specified number, with optional pooling for reducing memory allocations.
🔒 Deeply hide secrets with Kotlin Multiplatform
An AES Toolbox for computing the Rijndael Key Schedule for a 128, 192, or 256-bit key.
Add a description, image, and links to the key topic page so that developers can more easily learn about it.
To associate your repository with the key topic, visit your repo's landing page and select "manage topics."