managerial
Resource manager
A library providing a composable type for setting up and tearing down resources monadically
A zero-dependency Scala library for managing resources monadically
13 stars
2 watching
2 forks
Language: Scala
last commit: 16 days ago resource-managementscala
Related projects:
| Repository | Description | Stars |
|---|---|---|
 flatiron/resourceful | A resource management platform for building isomorphic applications with data validation and caching capabilities. | 354 |
 andyobtiva/rvm-tui | A tool to manage multiple versions of Ruby and their associated gems in an intuitive text-based interface. | 2 |
 dotnet/resxresourcemanager | A tool to manage localization of ResX-based resources in .Net applications | 1,335 |
 miversen33/netman.nvim | Provides a framework to expose remote resources via a standard API in Neovim. | 338 |
 puli/repository | An API for storing and managing arbitrary resources in a filesystem-like repository. | 444 |
 upc/ravada | A tool that allows users to manage and access virtual machines remotely via a web interface. | 558 |
 gvcgo/version-manager | A cross-platform version manager for multiple programming languages and tools | 843 |
 withsecureopensource/resource-api | A framework to declaratively define resources and their relationships, handling serialization, deserialization, HTTP interface, and authorization. | 10 |
 jhumphry/auto_counters | An Ada 2012 project implementing reference counting approaches to resource management with an emphasis on safety and usability. | 8 |
 alajmo/mani | A tool to manage multiple repositories from the command line | 445 |
 coursier/coursier | A tool for managing and fetching artifacts in Scala applications | 2,039 |
 jmmcatee/cracklord | A distributed system for managing and distributing computing resources across multiple hardware systems | 384 |
 axetroy/dvm | A tool for managing different versions of the Deno runtime environment. | 167 |
 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 |
 jeromedevome/grr | A tool for managing and reserving resources with support for MySQL and PHP. | 84 |