finnhaedicke/ding-dong
Create AGI server on #Node.js for #Asterisk quickly!
Various hacks to make your favorite metrics usable in Hudson/Jenkins
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Create AGI server on #Node.js for #Asterisk quickly!
Public repository.
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
An advanced SAT Solver