Skip to main content

Dan Connolly

Dan Connolly 's Public Library

  • ProGuard is a free Java class file shrinker, optimizer, obfuscator,  and preverifier. It detects and removes unused classes, fields,  methods, and attributes. It optimizes bytecode and removes unused  instructions.

  • If the SELECT  yields more than one result row, all rows after the first are ignored. If the SELECT yields no rows, then the value of the expression is NULL.

  • spoiler: ganglia and nagios

  • The  Event Notify Test Runner  is a general purpose Unix utility intended to make rapid feedback and  automated testing natural and completely ordinary.

  • Production process manager for Node.JS applications with a built-in load balancer.

  • Boogie has proven to be a great platform on top of which to implement other verification systems.

  • HAVOC is a tool for specifying and checking properties of systems software written in C

  • Verve is, to the best of our knowledge, the first operating system mechanically verified to guarantee both type and memory safety.

  • Nathaniel Filardo, "Mitigating LangSec Problems With Capabilities"
1 - 20 of 9104 Next › Last »
20 items/page

Highlighter, Sticky notes, Tagging, Groups and Network: integrated suite dramatically boosting research productivity. Learn more »

Join Diigo