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
World class QA, 100% done-for-you
For engineering teams in search of a solution to design, manage and maintain E2E tests for their apps
MuukTest is a test automation service that combines our own proprietary, AI-powered software with expert QA services to help you achieve world class test automation at a fraction of the in-house costs.
Pequeña aplicación php que consta de una administración de usuarios y un sistema de login, usando mod rewrite. Intentando aplicar el patrón de arquitectura de software MVC muy simple: login + session + user management + themes + lvl user
aioMVC is another implementation of the MVC design pattern in anf for PHP. It's based on XSLT technology. It allows to quickly install a fully functional architecture for your site, including data access and a lot of built-in features. You can easil
eCommerce for Print, Signs and Fulfillment Trusted by In‑Plants and Commercial Print Leaders
PageDNA enables successful eCommerce strategies for commercial print sales organizations, internal print shops, and brand owners. PageDNA’s online ordering platform increases print volume while decreasing touch costs for all stakeholders: clientele, print operations, and the organizations they support.
JavaScript framework for W3C Geolocation API built upon jQuery as an interface along side with simple PHPscripts for AJAX functionality. It will function as a simple set of location tools which can be used to enhance a users web experience.
This project concept is "Good bye login form". YggDore Sky Gate provides login to various service by using same the login ID and password. The authentic method is like POP before SMTP, very simple, your service is able to join easily.
AI-powered SAST and AppSec platform that helps companies find and fix vulnerabilities.
Trusted by 750+ companies and performing 200k+ code scans monthly.
ZeroPath (YC S24) is an AI-native application security platform that delivers comprehensive code protection beyond traditional SAST. Founded by security engineers from Tesla and Google, ZeroPath combines large language models with advanced program analysis to find and automatically fix vulnerabilities.
A user friendly password changing website that allows the user to synchronize their password across several different systems, and then, once synced, change them all at once. Supports OpenLDAP and Active Directory.
MasterBot is a platform for BZFlag servers that allows for advanced control and reporting of BZFS in the aid of server network, league, or tournament applications.
PHP and Javascript based library to help create and validated web based forms. Using PHP, the JQuery javascript library and JQuery forms. Form data can also be submited via AJAX POST. Forms can be validated user side and server side.
The MyAccess online database editor is a ASP-VBScript web application that runs on Microsoft's IIS Application server. The current release and includes functionality to create/modify/delete MS Access databases, tables, views, keys, indexes, and content
Tigermouse is a modern web applications framework for PHP and AJAX. It is lightweight, dynamic and well suited for enterprise-grade tasks because of its strong commitment to server-side business logic processing.
ical2js is a simple php script to print a distant calendar ical file into an html language file.
Next release will integrate more functionalities and options like selecting the maximum number of ical events shown...
Phpolait is great ! however because of a bug it doesn't work with opera. Yuiolait is a reimplementation of phpolait that is mostly backward compatible: - it supports asynchronous requests - has the same interface (just include yuiolait.php instead of ph
An easily extensible PHP shell, which allows people whose web hosts do not give them ssh access to execute a commands on the server through a web page.
Akelos is a PHP framework for developing database-backed web applications according to the MVC pattern. Being port of Ruby on Rails to PHP it lets you write beautiful PHP/Javascript/Ajax Code by favoring convention over configuration.
myMVC is yet another mvc framework for php. The purpose of this one is not to generate all your code, but to help you write your code faster and easier. This framework is for the php coder who need a starting minimal framework to make is web application.
PfP Studio is a visual programming system for RAD of Web based applications using PHP and Javascript. The frontend runs in a browser.
It is intended to complement the skills of the developer rather than masking out the base languages.