Tags : Browse Projects

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

Chef

Compare

  Analyzed 1 day ago

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

183K lines of code

106 current contributors

5 days since last commit

72 users on Open Hub

Very High Activity
4.41176
   
I Use This

opscode-ohai

Compare

  Analyzed 1 day 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

27 current contributors

7 days since last commit

10 users on Open Hub

Moderate Activity
4.75
   
I Use This

FAKE - F# Make

Compare

  Analyzed 5 months 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]

131K lines of code

60 current contributors

5 months since last commit

9 users on Open Hub

Activity Not Available
5.0
 
I Use This

Testlink

  Analyzed 2 months 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]

679K lines of code

21 current contributors

3 months since last commit

9 users on Open Hub

Activity Not Available
3.33333
   
I Use This

Gappa

Compare

  Analyzed 1 day 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

5 days since last commit

3 users on Open Hub

Very Low Activity
5.0
 
I Use This

CVC4

Compare

  Analyzed 1 day 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.

263K lines of code

19 current contributors

2 days since last commit

1 users on Open Hub

High Activity
5.0
 
I Use This

confctl

Compare

  Analyzed about 11 hours ago

Utility to access C-like configuration files from shell scripts

2.42K lines of code

0 current contributors

about 5 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

oz installer

Compare

  Analyzed 1 day ago

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

14.1K lines of code

11 current contributors

about 1 month since last commit

1 users on Open Hub

Moderate Activity
0.0
 
I Use This

kameleon builder

Compare

  Analyzed 1 day 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.2K lines of code

2 current contributors

3 days since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This

AutoRefactor

Compare

  Analyzed 2 days ago

Eclipse plugin to automatically refactor Java code bases

55.5K lines of code

6 current contributors

12 days since last commit

1 users on Open Hub

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