SPARK_SipHash

An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

Search similar apps

    License

    Other

    An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

    Creator

    jhumphry

    Related apps

    Ada_BinToAsc

    An Ada 2012 project that implements various binary-to-ASCII codecs such as Base6

    Ada0isc

    8 years ago

    Ascon_SPARK

    A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

    Ada3isc

    last year

    auto_counters

    An Ada 2012 project that implements reference counting approaches to resource ma

    Ada8isc

    last year

    LALG

    This is an Ada 2012 package that provides an interface to BLAS.

    Ada4isc

    2 years ago

    parse_args

    An Ada 2012 package to parse command line arguments and options

    Ada10isc

    2 years ago

    Reqrep_Task_Pools

    This is an Ada 2012 package that provides a task pool system for jobs which each

    Ada1isc

    9 years ago

    SPARK_NORX

    An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encrypti

    Ada8isc

    6 years ago