awesome-repositories.com
Blog
MCP
awesome-repositories.com

Discover the best open-source repositories with AI-powered search.

ExploreCurated searchesOpen-source alternativesSelf-hosted softwareBlogSitemap
ProjectMCP serverAboutHow we rankPress
LegalPrivacyTerms
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
Componolit avatar

Componolit/libsparkcryptoArchived

0
View on GitHub↗
29 stars·3 forks·Ada·6 views

Libsparkcrypto

libsparkcrypto - A cryptographic library implemented in SPARK.

Features

  • Cryptography Libraries - Cryptographic library implemented in SPARK.

Star history

Star history chart for componolit/libsparkcryptoStar history chart for componolit/libsparkcrypto

How this analysis was created: This summary and feature list were written by an AI model that read the project's README and public documentation pages. Each feature links to the documentation it came from; stars, license and language come straight from the GitHub API. The model does not read the source code, and the analysis is refreshed when the project is re-analysed. Learn more on our About page.

AI search

Explore more awesome repositories

Describe what you need in plain English — the AI ranks thousands of curated open-source projects by relevance.

Start searching with AI

Open-source alternatives to Libsparkcrypto

Similar open-source projects, ranked by how many features they share with Libsparkcrypto.
  • awslabs/s2nawslabs avatar

    awslabs/s2n

    4,736View on GitHub↗

    s2n is a C-based security library and TLS protocol implementation that serves as a secure network transport layer. It provides a modular cryptographic backend interface to encrypt data streams, manage handshakes, and handle mutual authentication between peers. The project focuses on post-quantum cryptography, integrating quantum-resistant key exchange and digital signatures to protect connections against future computing threats. It distinguishes itself through security hardening measures, such as memory-locked secret storage to prevent keys from being swapped to disk and timing-attack mitiga

    C
    View on GitHub↗4,736
  • b-con/crypto-algorithmsB-Con avatar

    B-Con/crypto-algorithms

    2,023View on GitHub↗

    Basic implementations of standard cryptography algorithms, like AES and SHA-1.

    C
    View on GitHub↗2,023
  • cforler/ada-crypto-librarycforler avatar

    cforler/Ada-Crypto-Library

    86View on GitHub↗

    Welcome to the Ada Crypto Library (ACL) aka libadacrypt This library is an ongoing project that provides the Ada community to strong cryptography primitives and schemes, focused to ensure data confidentiality and data integrity.

    Ada
    View on GitHub↗86
  • armmbed/mbedtlsARMmbed avatar

    ARMmbed/mbedtls

    6,712View on GitHub↗

    Mbed TLS is an open-source TLS and DTLS library with a small footprint, designed for embedded systems and IoT devices. It provides a portable cryptographic library that includes symmetric ciphers, hashing, and public-key cryptography, along with a reference implementation of the PSA Cryptography API for standardized cryptographic operations across platforms. The library also offers X.509 certificate management for parsing, validating, and managing certificate chains in secure communications. The library is built around a platform abstraction layer that decouples it from OS-specific services t

    C
    View on GitHub↗6,712
See all 30 alternatives to Libsparkcrypto→

Frequently asked questions

What does componolit/libsparkcrypto do?

libsparkcrypto - A cryptographic library implemented in SPARK.

What are the main features of componolit/libsparkcrypto?

The main features of componolit/libsparkcrypto are: Cryptography Libraries.

What are some open-source alternatives to componolit/libsparkcrypto?

Open-source alternatives to componolit/libsparkcrypto include: awslabs/s2n — s2n is a C-based security library and TLS protocol implementation that serves as a secure network transport layer. It… b-con/crypto-algorithms — Basic implementations of standard cryptography algorithms, like AES and SHA-1. cforler/ada-crypto-library — Welcome to the Ada Crypto Library (ACL) aka libadacrypt This library is an ongoing project that provides the Ada… cossacklabs/themis — Easy to use cryptographic framework for data protection: secure messaging with forward secrecy and secure data… cr-marcstevens/sha1collisiondetection — Library and command line tool to detect SHA-1 collision in a file. armmbed/mbedtls — Mbed TLS is an open-source TLS and DTLS library with a small footprint, designed for embedded systems and IoT devices.…