auto_counters

auto_counters

https://github.com/jhumphry/auto_counters

Ada8

last year

Reviews

An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

Search similar apps

    License

    ISC License

    Share

    An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.

    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

    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

    SPARK_SipHash

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

    Ada5other

    6 years ago