Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

Chef

Compare

  Analyzed 19 days ago

Chef is a systems integration framework, built to bring the benefits of configuration management to your entire infrastructure.

188K lines of code

101 current contributors

23 days since last commit

73 users on Open Hub

Very High Activity
4.38889
   
I Use This

opscode-ohai

Compare

  Analyzed 16 days 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 ... [More] of the Wiki describes using ohai and writing plugins for it. [Less]

108K lines of code

25 current contributors

18 days since last commit

11 users on Open Hub

Moderate Activity
4.6
   
I Use This

FAKE - F# Make

Compare

  Analyzed 17 days 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 ... [More] provide syntax highlighting and code completion. [Less]

143K lines of code

70 current contributors

about 2 months since last commit

9 users on Open Hub

High Activity
5.0
 
I Use This

Testlink

  Analyzed 11 days 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 ... [More] interface with PHP and background database MySQL, Postgres or MS-SQL. It cooperates with known Bug tracking systems as is Bugzilla, Mantis, etc. [Less]

672K lines of code

17 current contributors

about 1 month since last commit

9 users on Open Hub

Moderate Activity
3.33333
   
I Use This

Gappa

Compare

  Analyzed 12 days 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 ... [More] robust floating-point filters of CGAL and for certifying the elementary functions of CRlibm. [Less]

25.6K lines of code

1 current contributors

3 months since last commit

3 users on Open Hub

Very Low Activity
5.0
 
I Use This

CVC4

Compare

  Analyzed 11 days 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.

241K lines of code

22 current contributors

11 days since last commit

1 users on Open Hub

High Activity
5.0
 
I Use This

confctl

Compare

  Analyzed 14 days ago

Utility to access C-like configuration files from shell scripts

2.42K lines of code

0 current contributors

over 4 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

oz installer

Compare

  Analyzed 13 days ago

Oz is a tool for automatically installing guest OSs with only minimal up-front input from the user.

14K lines of code

4 current contributors

21 days since last commit

1 users on Open Hub

Low Activity
0.0
 
I Use This

kameleon builder

Compare

  Analyzed 26 days 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 ... [More] , ..., but as it is designed to be very generic you can probably do a lot more than that. [Less]

10.1K lines of code

1 current contributors

2 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

AutoRefactor

Compare

  Analyzed 19 days ago

Eclipse plugin to automatically refactor Java code bases

43.2K lines of code

6 current contributors

about 1 month since last commit

1 users on Open Hub

Moderate Activity
5.0
 
I Use This
Licenses: EPL-1.0, GPL-3.0+