570 skills found · Page 1 of 19
google / End To EndEnd-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP)
JonathanSalwan / TritonTriton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
hacl-star / Hacl StarHACL*, a formally verified cryptographic library written in F*
hashicorp / Go VersionA Go (golang) library for parsing and verifying versions and version constraints.
AfterShip / Email Verifier:white_check_mark: A Go library for email verification without sending any emails.
bUnit-dev / BUnitbUnit is a testing library for Blazor components that make tests look, feel, and runs like regular unit tests. bUnit makes it easy to render and control a component under test’s life-cycle, pass parameter and inject services into it, trigger event handlers, and verify the rendered markup from the component using a built-in semantic HTML comparer.
stfalcon-studio / SmsVerifyCatcherAndroid library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon
awslabs / Aws Jwt VerifyJS library for verifying JWTs signed by Amazon Cognito, and any OIDC-compatible IDP that signs JWTs with RS256, RS384, RS512, ES256, ES384, ES512, Ed25519 and Ed448
krzyzanowskim / ObjectivePGPObjectivePGP is an open-source library for iOS and macOS that provides developers with tools for implementing OpenPGP encryption and decryption, digital signing, and signature verification in their applications, thereby enhancing security and data integrity.
feelschaotic / SDKHotFix在用户规模千万级别的app中验证过，稳定无兼容问题，5分钟让你的SDK拥有热修复能力。A SDK hotfix library with stable verified in tens of millions of users can be accessed in only five minutes.
approvals / ApprovalTests.NetApprovalTest verification library for .Net
webauthn4j / Webauthn4jA portable Java library for WebAuthn(Passkeys) server side verification
clj-easy / Graalvm ClojureThis project contains a set of "hello world" projects to verify which Clojure libraries do actually compile and produce native images under GraalVM.
UVVM / UVVMUVVM (Universal VHDL Verification Methodology) is a free and Open Source Methodology and Library for very efficient VHDL verification of FPGA and ASIC – resulting also in significant quality improvement. Community forum: https://forum.uvvm.org/ UVVM.org: https://uvvm.org/
square / Js JoseJavaScript library to encrypt/decrypt data in JSON Web Encryption (JWE) format and to sign/verify data in JSON Web Signature (JWS) format. Leverages Browser's native WebCrypto API.
approvals / ApprovalTests.JavaApprovalTest verification library for Java
rocq-community / Awesome CoqA curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
do-know / Crypt LECrypt::LE - Let's Encrypt / Buypass / ZeroSSL and other ACME-servers client and library in Perl for obtaining free SSL certificates (inc. generating RSA/ECC keys and CSRs). HTTP/DNS verification is supported out of the box, EAB (External Account Binding) supported, easily extended with plugins, easily dockerized.
huawei-noah / Xingtianxingtian is a componentized library for the development and verification of reinforcement learning algorithms
project-oak / Rust Verification ToolsRVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
