Select a tag to browse associated projects and drill deeper into the tag cloud.
Chef
Analyzed about 2 years ago
Chef is a systems integration framework, built to bring the benefits of configuration management to your entire infrastructure.
Licenses:
apache_2
opscode-ohai
Analyzed about 9 hours ago
Ohai detects data about your operating system. It can be used standalone, but it's primary purpose is to provide node data to Chef.
Ohai will print out a JSON data blob for all the known data about your system. When used with Chef, that data is reported back via node attributes.
This section
Licenses:
apache_2
Testlink
Analyzed about 15 hours ago
TestLink enables easily to create and manage Test cases as well as organize them into Test plans. These Test plans allow team members to execute Test cases and track test results dynamically, generate reports, trace software requirements, prioritize and assign tasks.
The tool has web based
FAKE - F# Make
Analyzed 1 day ago
"FAKE - F# Make" is a build automation system. Due to its integration in F#, all benefits of the .NET Framework and functional programming can be used, including the extensive class library, powerful debuggers and integrated development environments like Visual Studio 2008 or SharpDevelop, which
Gappa
G
Analyzed about 1 year ago
The Gappa tool helps developers to verify arithmetic properties on their numerical programs (either floating-point or fixed-point computations). It can also generate formal proofs of the properties for extra confidence. It has been successfully used with several projects, e.g. for writing some
CVC4
Analyzed about 2 months ago
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used to prove the validity (or, dually, the satisfiability) of first-order formulas in a large number of built-in logical theories and their combination.
Licenses:
BSD-3-Clause
AutoRefactor
A
Analyzed 1 day ago
Eclipse plugin to automatically refactor Java code bases
Licenses:
eclipse, gpl3_or_l...
oz installer
O
Analyzed about 17 hours ago
Oz is a tool for automatically installing guest OSs with only minimal up-front input from the user.
confctl
C
Analyzed about 8 hours ago
Utility to access C-like configuration files from shell scripts
Licenses:
BSD-2-Clause
kameleon builder
Analyzed about 1 year ago
The mindful appliance builder
Kameleon should be seen as a simple but powerful tool to generate customized appliances. With Kameleon, you make your recipe that describes how to create step by step your own distribution. At start Kameleon is used to create custom kvm, LXC, VirtualBox, iso images