Tags : Browse Projects

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

Chef

Compare

  Analyzed 12 months ago

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

208K lines of code

78 current contributors

12 months since last commit

71 users on Open Hub

Activity Not Available
4.41176
   
I Use This

opscode-ohai

Compare

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

42.5K lines of code

20 current contributors

6 days since last commit

10 users on Open Hub

Moderate Activity
4.75
   
I Use This

Testlink

  Analyzed 3 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]

825K lines of code

20 current contributors

over 1 year since last commit

9 users on Open Hub

Activity Not Available
3.33333
   
I Use This

FAKE - F# Make

Compare

  Analyzed 27 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]

135K lines of code

29 current contributors

6 months since last commit

9 users on Open Hub

Low Activity
5.0
 
I Use This

Gappa

Compare

  Analyzed about 1 month 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.8K lines of code

2 current contributors

over 3 years since last commit

3 users on Open Hub

Activity Not Available
5.0
 
I Use This

CVC4

Compare

  Analyzed 22 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.

348K lines of code

16 current contributors

23 days since last commit

1 users on Open Hub

Very High Activity
5.0
 
I Use This

AutoRefactor

Compare

  Analyzed 7 days ago

Eclipse plugin to automatically refactor Java code bases

85.4K lines of code

6 current contributors

5 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This
Licenses: eclipse, gpl3_or_l...

oz installer

Compare

  Analyzed 3 months ago

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

14.2K lines of code

2 current contributors

4 months since last commit

1 users on Open Hub

Activity Not Available
0.0
 
I Use This

confctl

Compare

  Analyzed about 20 hours ago

Utility to access C-like configuration files from shell scripts

2.42K lines of code

0 current contributors

over 9 years since last commit

1 users on Open Hub

Inactive
0.0
 
I Use This

kameleon builder

Compare

  Analyzed 19 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]

9.46K lines of code

2 current contributors

9 months since last commit

1 users on Open Hub

Very Low Activity
5.0
 
I Use This