Projects tagged ‘tool’

Sheep-Dog

Analyzed 1 day ago

Simple command line tool that monitors files and processes and sends notifications or take corrective actions when problems arise. Monitor log files for errors, processes CPU and memory consumption (can kill if exceeding), respawn dead processes.

599 lines of code

0 current contributors

over 13 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in Ruby

Licenses: BSD-2-Clause

CVC4

Analyzed about 12 hours 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.

429K lines of code

16 current contributors

2 days since last commit

1 users on Open Hub

High Activity

0 Reviews

I Use This

Mostly written in C++

Licenses: BSD-3-Clause

Tags arithmetics automated bitvector constraint firstorderlogic formula logic prover smt theoremproving theory tool

CompendiumNG

Analyzed about 21 hours ago

CompendiumNG, is a powerful application that lets you create extensive maps using nodes and link structure. Common usages of Compendium include: dialog mapping and mind mapping but its uses are almost limitless. Compendium was originally developed as a project by the OpenUniversity. In 2009 it was ... [More]

148K lines of code

0 current contributors

almost 13 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in Java

Licenses: lgpv3_or_...

Tags brain_stroming comendium creativity graphics interface manage map mapping mind mindmap mind_mapping mindmapping 6 more...

easyflowcharts

E

Analyzed 1 day ago

Automatic creation of flow chart diagram from given predefined ASCII script

8.65K lines of code

0 current contributors

almost 9 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in JavaScript

Licenses: mit

Tags charts css decisiontree developer diagram easeljs flow html5 javascript jquery productvity tool

eclipse-slideshow

E

Analyzed about 4 hours ago

Eclipse Slideshow

4.06K lines of code

0 current contributors

about 12 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in Java

Licenses: No declared licenses

Tags eclipse_plugin java presentation slideshow tool

php-refactoring-browser

P

Analyzed 35 minutes ago

A command line refactoring tool for PHP

4.67K lines of code

0 current contributors

over 10 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in PHP

Licenses: No declared licenses

Tags code commandline development php refactoring tool

Bluebox-ng

Analyzed about 2 hours ago

Bluebox-ng is a GPL VoIP/UC vulnerability scanner written using Node.js powers. "Our 2 cents" to improve security practices in these environments and to make the Node world still more awesome. ;)

3.88K lines of code

0 current contributors

over 8 years since last commit

1 users on Open Hub

Inactive

0 Reviews

I Use This

Mostly written in JavaScript

Licenses: No declared licenses

Tags mongodb nodejs security sip tool voip

dokuwiki-plugin-pagehere

Analyzed about 7 hours ago

A DokuWiki syntax plugin for a very simple new page input

74 lines of code

2 current contributors

over 1 year since last commit

1 users on Open Hub

Very Low Activity

0 Reviews

I Use This

Mostly written in PHP

Licenses: GPL2

Tags dokuwiki php5 tool

update_openbsd

U

No analysis available

A tool to update and OpenBSD with between releases or with new snapshots.

0 lines of code

0 current contributors

0 since last commit

1 users on Open Hub

Activity Not Available

0 Reviews

I Use This

Mostly written in language not available

Licenses: bsd_2clau...

Tags openbsd tool update utility

l5rcm

Analyzed 1 day ago

This is a GM tool for the RPG game "Legend of the Five Rings" 4th edition. It can be used to create PC and NPC and to manage characters during playtime. The Legend of the Five Rings RPG is a role playing game that takes place in Rokugan, a mixture of Asian medieval culture. You can find more on L5R RPG on its official site.

16.2K lines of code

2 current contributors

2 months since last commit

1 users on Open Hub

Very Low Activity

0 Reviews

I Use This

Mostly written in Python

Licenses: gpl3

Tags character five gm l5r legend manager of pdf pyside python qt rings 5 more...

Tags : Browse Projects