auto_counters

Resource manager

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

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

GitHub

8 stars
3 watching
0 forks
Language: Ada
last commit: over 1 year ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
alire-project/smart_pointers An implementation of smart pointer techniques in Ada to manage dynamic memory and reduce manual memory management overhead. 1
jhumphry/parse_args A package to parse command line arguments and options in Ada 2012 12
geriatricjacob/line-count A package for Atom editor that displays line counts and source file information for projects. 34
jhumphry/ascon_spark An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. 3
jstart/swiftly-typed-resources A Swift playground demonstrating how to easily manage and work with common UI resources such as colors, fonts, and images. 74
blue-yonder/mesos-threshold-oversubscription A pair of modular components designed to manage resource utilization and prevent system overload in Mesos clusters. 43
jhumphry/ada_bintoasc A library providing flexible binary-to-ASCII encoding and decoding capabilities 0
jhumphry/reqrep_task_pools An Ada 2012 package for simplifying task-based concurrency in applications. 1
dvgica/managerial A library providing a composable type for setting up and tearing down resources monadically 13
magnusvk/counter_culture A Ruby gem that enhances Rails' built-in counter caching to support multiple levels of relations and dynamic column names. 1,958
flatiron/resourceful A resource management platform for building isomorphic applications with data validation and caching capabilities. 354
autopilot-rs/autopilot-rs Automates GUI interactions across multiple platforms using a Rust-based API 382
autopilot-rs/autopy A cross-platform GUI automation module for Python and Rust. 858
jmmcatee/cracklord A distributed system for managing and distributing computing resources across multiple hardware systems 384
gaaops/sitecore.iar.management Automates management of Sitecore items and resources for IAR deployments 1