Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Fully managed relational database service for MySQL, PostgreSQL, and SQL Server
Focus on your application, and leave the database to us
Cloud SQL manages your databases so you don't have to, so your business can run without disruption. It automates all your backups, replication, patches, encryption, and storage capacity increases to give your applications the reliability, scalability, and security they need.
Liferay Portal is the world's leading enterprise open source portal framework, offering integrated Web publishing and content management, an enterprise service bus and service-oriented architecture, and compatibility with all major IT infrastructure.
Check GitHub for our latest releases:
https://github.com/liferay/liferay-portal/releases
https://github.com/liferay/liferay-ide/releases
Interface gráfica para PyKota / Graphical interface for PyKota
Projeto destinado a ser uma interface gráfica web para o software de controle de impressão PyKota (www.pykota.com). Não possui vinculo algum com projeto oficial.
Para novas instalações com Ubuntu 12.04 server use o script install.sh.
--
Para FreeBSD veja https://www.vivaolinux.com.br/artigo/Configurando-o-FreeBSD-e-PyKota-para-receber-o-JPyKotaGUI/?pagina=5
https://sourceforge.net/projects/jpykotagui-freebsd/
--
Project to be a GUI for the print control software PyKota...
A free open sourced Apache Http Server GUI developed with Java.
This project is used to provide a free java based open source Apache Http Server GUI. The solution is deployed as a web application that is accessible through a web browser. The solution is designed to be compatible with modern Windows and IX operating systems.
Source code for this project is hosted on github https://github.com/jrossi227/ApacheGUI
No-code automation to improve your process workflows
Pipefy is a digital automation software that centralizes data and standardizes workflows for teams like Finance and HR
Transform your financial and HR operations and improve efficiency even remotely with digital, customized workflows that your team can automate and integrate with other software without the need of IT development.
Opensource framework for creation bussiness web applications
Platform Course 5.0.0 is opensource framework for easy development of original solutions for unique business process. Main advantages: cross-domain auth, LDAP integration, cross-browser GWT-based UI, big tables handling, chart and geo maps, input forms on XForms.
Tested with MSSQL, PostgreSQL and Oracle.
Actual SVN Repository for this product is located at https://share.curs.ru/svn/showcase/branches/stable/
Login: reader
Password: reader
If you wish to know further...
Columns Plug-in for Eclipse defines the concept of 'column' and some functions of this editable component. Functions such as copy, paste, cut, fill, lowercase, uppercase, search and replace, columns history and others are provided.
OneTimePIM is a comprehensive Product Information Management System designed to streamline the import and distribution of product data.
A single source of truth for all of your product information with easy ways to distribute that data to wherever it needs to go, including the most powerful e-commerce connectors in the industry.
Conjunto de aplicativos customizados para distros Linux dedicada para servidores de games open source, com scripts para automatizar o processo de configurar os diversos servidores e games adicionados por padrão.
NetDirector is a Web-based Linux and Solaris management console providing secure, easy-to-use, one-to-many management of Open Source workgroup servers: HTTP, DNS, DHCP, LDAP, Kerberos, Samba, NFS, FTP, Email, Users and Groups.
A J2EE Web Dev Framework, Struts style MVC, Event Driven like JSF and Ajax-enabled Client Scripting like YUI, Fine grained event binding, access to server variables in JavaScript & Webpages, Easy integration with Struts, No custom tags & No complex API.
The project purpose is to allow SAP R/3 servers to communicate with external devices such as fax and GSM modems by sending and receiving a fax or SMS. The system provides an easy way of configuration based on web interface and JMX console.
OpenDCM is an Open Source Data Center Management project. System audits, rapid file/software deployment, os provisioning, reporting and more. Automate repetitive tasks and simplify the work of sysadmins in large scale data centers.