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
Haystack is a modern, engaging, and intuitive intranet platform that employees actually use.
You Deserve the Best Intranet Experience
With customizable iOS and Android mobile apps, Slack and Microsoft Teams integrations, and an intuitive design employees love, Haystack brings an outstanding digital employee experience to your entire workforce, no matter where their work takes them.
XML Editor in PHP for editing simple XML files.
New in version 0.3
- Languages (English / Dutch)
- Help-texts while editing
- fixed width of inputfields
- A few bug-fixes
This script works with simple XML files like:
<?xml version="1.0"?>
<countries>
<country>
<name>France</name>
<capital>Paris</capital>
<population>64768389</population>
<currency>Euro</currency>
</country>
<country>
<name>Greece</name>
<capital>Athens</capital>
<population>11000000</population>
<currency>Euro</currency>
</country>
<country>
<name>Netherlands</name>
<capital>Amsterdam</capital>
<population>16645000</population>
<currency>Euro</currency>
</country>
</countries> etc...
This is a parser and writer to convert free script to xml.
The script is defined in a package where each class describes one element.
There are certainly other projects of this type.
But this project is created to keep this transformation as simple as possible.
MP-Suite is a client/server script that enables remote MySQL through an XML-RPC interface. This way, you can remotely access databases that are not remote-access enabled.
A Python script that can be used to get information on TV shows and Movie Shows from thetvdb.org and themoviedb.org. This is an learning experience and anybody can chime in on everything.
Analyze, optimize, and govern your multi-cloud environment effortlessly with AI Agentic FinOps.
Unlike reporting-only FinOps tools, FinOpsly unifies cloud (AWS, Azure, GCP), data (Snowflake, Databricks, BigQuery), and AI costs into a single system of action — enabling teams to plan spend before it happens, automate optimization safely, and prove value in weeks, not quarters.
This is a (very) simple chat-room created using php. Instead of using MySQL or any other database software this chat-room uses a flat-file database (created using XML). The main aim of this chat-room script is to be minimal (small codebase).
This python script takes an exported wordpress xml file and outputs a single html document containing all posts in order of entry, and a table of contents broken down by Category. CSS tags added for easy formatting.
SimpleWebTest is an web auto test framework, which can simplify your coding auto test script. It supplies capturing web page element tool called UI Map.
You can implement auto test script for ajax web site agilely, maintenance just spend little time.
XML Toaster allows you to generate XML from a relational database using a simple SQL select like statement and persist XML to a database using a powerful mapping script.
For businesses wanting a platform to list, manage, and co-sell on cloud marketplaces with minimal engineering effort
Streamline and automate your cloud sales cycle, enhance operational efficiency, and capitalize on marketplace opportunities with the Clazar Cloud Sales Acceleration Platform.
An Java JDBC compliant driver that connects to a remote database via url (http) connection, communicating through a server-side script (.asp,.php,.jsf etc). Useful if you like to access locally (java, SQuirreL, eclipse) a database on your web site.
CPLed is an OpenSIPS tool for editing CPL scripts in a friendly and easy graphical way. It can be used as a standalone application or embedded in a web page as applet. It also provide CPL script transport functionalities via SIP and HTTP protocols.
Automatilcy build in PHP script complete HTML forms with JavaScript checking. Configuration of Form from XML files, like HTML, easy to use. Automaticly adding/deleting/updating DB, over phpXMLForm engine.
A Perl script to download new podcast subscriptions through a command line or cron or whatever mechanism you wish to launch it from, using advanced selection tools. Update: April 7, 2006, Please check out http://iandouglas.com/page.php?2 for more info.