Search Results for "virtual windows machine"

Laragon makes coding more fun and easier. Instant setup - extremely fast, lightweight, intuitive, and powerful universal development enviroment for creating modern apps with many stacks: Ruby on Rails, Laravel, Django, Flask, MEAN and Spring Boot. Portable, reliable and Zero operation on MySQL, PostgreSQL, MongoDB, Memcached, Redis, PHP, Ruby, Python, Node.js and Java.

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

XPlanner+ is a web-based project planning and tracking tool.

Hermes provides a powerful yet usable automation solution, making it the most popular Selenium framework in the world, with over 8,000 downloads. Create human readable, machine executable Selenese style tests in Excel. The world's first automation framework fully integrated with Selenium IDE, RC and GRID; yet built for humans. Be up and running using a feature rich Selenium RC framework in minutes. Hermes comes with advanced reporting, analysis, debugging and enterprise level Java...

GiriGiriPHP is a FREE PHP5 OOP codebase using singletons, that provides very easy code for Web developers to modify and build applications on, concentrating on keeping ease of modification even when big and continuous modifications are added to it.

Express is an Agile project management tool. The web application is written using Flex while server-side component is a Spring based Java EE application.