Showing page 1 of 1.

• 
  Guppy Python Programming Environment

  A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

  0 weekly downloads
• 
  Open Source GlassFish Software Appliance

  Open Source Application Server Appliance based on Open Source GlassFish

  0 weekly downloads
• 
  STP

  STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constraints generated by program analysis/test generation tools, model checkers, bug finders, hardware/software formal verification tools, intelligent fuzzer

  0 weekly downloads