Open Hub
Black Duck Open Hub

Tags : Browse Projects

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

Webdriverjs-helper

Compare

Claimed by Surevine Analyzed about 10 hours ago

This helper library offer lots of friendly api while using JavaScript WebDriver

732 lines of code

0 current contributors

over 9 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in CoffeeScript
Licenses: mit
Tags automated browser helper javascript nodejs selenium sugar test testing ui webdriver

Excise Boring Bits

Compare

  Analyzed about 16 hours ago

Trim unwanted unchanging sections from screencast videos

491 lines of code

0 current contributors

almost 10 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in C
Licenses: No declared licenses
Tags automated editor screencast video

ScavengerProver

Compare

  Analyzed about 17 hours ago

Scavenger is an automated theorem prover based on the new conflict resolution calculus, which lifts some aspects of the conflict-drive clause learning approach used by sat-solvers to logics with quantifiers.

5.2K lines of code

0 current contributors

about 3 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in Scala
Licenses: No declared licenses
Tags ai automated first-order fol logic prover reasoning sat

node-farmer

Compare

  Analyzed 1 day ago

A lightweight automation tool built for Linux machines

887 lines of code

0 current contributors

over 6 years since last commit

0 users on Open Hub

Inactive
0.0
 
0 Reviews
I Use This
Mostly written in shell script
Licenses: mit
Tags administration automated automation Automationtool Cloudservermanagement Codedeployment configurationmanagement deployment infrastructure installation Linuxautomation linuxserver 8 more...