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
3 watching
2 forks
Language: Scala
last commit: almost 2 years agoresource-managementscala
Related projects:
| Repository | Description | Stars |
|---|---|---|
 flatiron/resourceful | A resource management platform for building isomorphic applications with data validation and caching capabilities. | 355 |
 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,339 |
 miversen33/netman.nvim | Provides a framework to expose remote resources via a standard API in Neovim. | 342 |
 puli/repository | A filesystem-like repository component for storing arbitrary resources | 444 |
 upc/ravada | A tool that allows users to manage and access virtual machines remotely via a web interface. | 567 |
 gvcgo/version-manager | A cross-platform version manager for multiple programming languages and tools | 880 |
 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 | 449 |
 coursier/coursier | A tool for managing and fetching artifacts in Scala applications | 2,058 |
 jmmcatee/cracklord | A distributed system for managing and distributing computing resources across multiple hardware systems | 386 |
 axetroy/dvm | A tool for managing different versions of the Deno runtime environment. | 168 |
 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. | 85 |