Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Start Free Trial
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
HMGScript is a JavaScript library.
The goal of the project is to allow developers the creation of web applications using the same logic as desktop applications via simple objects.
For data manipulation, it allows the use of MySql databases and dbf (xBase) files.
DUnit is a framework of classes designed to support the Xtreme approach to software testing.
This branch from the principal project, is for transform his visual interface to the new Firemonkey framework, know too as FMX. Current version is only for the old VCL framework.
When project finish, it shall work for run unit test in Windows and Mac OS X. And of course for Android and IOS too.
Did you need this approach? You can support us saying you like this project and leaving a...
IoC and Dependency Injection Container for the C++ Qt framework
QuteContainer is a lightweight Inversion of Control (IOC) container to use for Dependency Injection.
QuteContainer is build with and for the C++ Qt framework. QuteContainer can automatically
resolve object dependency trees using constructor parameter injection.
A tool designed to help with the process of Agile planning and development. The immediate aim of this project is to offer a light, free and user-friendly solution for small and medium sized products developed using Agile techniques.
Secure File Transfer for Windows with Cerberus by Redwood
Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.
Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
A very Flexible and Plugin-able Test Automation Engine. It fully supports the Standardized Test Tool Interfaces as described in http://www.testtoolinterfaces.com/
For Java developpers who need to request SOAP server... until SOAP is deprecated. This is a client Java API. It does not require neither perform any code generation. It fits within a single jar file. soap-dust is validated against real servers.
Dynamic tree of Java objects encapsulates hard-drive and Jar/Zip files (and their inner files) and Java objects all the same way. Create new ways of communication as executable Jar files, like a paint program that creates/uses paint programs as tools
Agile Test is a web-based test case management system with easy-to-use interface. It is designed to fit the team management needs regarding user stories, feature requirements and test cases in scrum framework. Online Demo: http://agiletest.cc/demo
A QT based code gen. app for visual php development. Based on a XML XSLT PHP framework that makes it possible to select visual elementsin a WebKit rendered HTML editor and generate PHP that gets the XML and add the XSLT into the current HTML.
Cross platform GUI managing bookmarks and shortcuts in a portable way. Support import/export, search, encryption, hierarchical tags, USB key installation, various environments integration, OS-dependent shortcuts, plugins extensibility.
An Eclipse Plugin that Generates Unit Tests. Generates basic tests or Open POJO tests for simple objects and generates test stubs for complex objects. Helps developers test projects created without Unit tests or without Agile methodologies
Very simple and powerful list of things that need to be "just done". Created mostly for agile people.
Developed with good desgin (design patterns) using test driven development and clean code principles.
Eclipse plug-in for Richfaces Web project with maven support. Follow the instructions in the Readme.txt. The plug-in & maven archetype are also available at:- http://code.google.com/p/richfaces-maven-plugin/ . More at http://www.w3avatar.com
BXL is a web application development tool. With BXL you can configure forms and also sub forms in html on database queries. BXL uses: PHP, MySQL, XSLT, JQuery and Ajax.
DbSlim is a set of Fitnesse SLIM Test System fixtures which enables tests to execute directly against a database. http://fitnesse.org/FitNesse.UserGuide.SliM
The NOAP toolkit provides a collection of utilities to use for slightly more exotic development on the Common Language Infrastructure. NOAP includes a fast ORM, an Objective-C compiler for .NET, and much more. See the Web site for more information.
Agido is an extensible Agile Documentation Tool for Agile Development Projects. The documentation can be written in plain text in a wiki style markup and exported to different output formats such as PDF and HTML.
Web-based relational database designer. With version control, autosave and real-time database manipulation. TODO: admin module, search, undo/redo buttons, multi-database real-time support (only PostgreSQL actually), etc. Based on WWWSQLDesigner