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
Our xDM platform turns business users into data champions.
Discover the Intelligent Data Hub unique platform for Master Data Management
It empowers organizations of any size to build trusted data applications quickly, with fast time to value using a single software platform for governance, master data, reference data, data quality, enrichment, and workflows.
Library Management Software System will be an online and mobile service to help people and public libraries to automate all activities. PhotonSoft Ltd. plan LMSS to be world's largest library network and social space with Internet/WAP communication tools
RTF2HTML is a name for a cross-platform C++ library (DLL, OCX) and command-line utility, which is intended to convert documents from Rich Text Format (e.g. Word, OO Writer) to HTML. Its features are tiny size, speed, low mem usage and compact output.
C++ library for parsing and generating RFC-compliant Uniform Resource Identifiers (URI). Contains classes for URI scheme, authority, path, query, fragment, and the combined URI.
SEO Tools provides tools for search engine optimization. Spider SEO: generates meta tags for all pages of a website. Web Page Optimizer performs analysis and changes in a web page. A graphical user interface is linked with a scriptol program that gene
Paccurate is the only patented cartonization solution that optimizes for transportation costs directly. So you can have the right boxes, and control how they're packed.
dbook is a collection of programs to manage a big book collection on the command line Including: ISBN checker and converter, Amazon book information retrieval, [book data base, lend record] create bibtex out of latex/tex automatically.
DBook is also a Document creation tool which can be found under http://www.dbook.org
A freely-available Markdown text-to-HTML translator, written in C++, intended for integration into C++ programs rather than for use in web applications.
This is a new version of the PNGQuant software to quantize a 32 bits PNG downto 8 bits with transparency.
Resulting images can display correctly in all modern browser including IE5.0 and later without ugly javascript or flash hack.
MozillaParser is a Java Html parser based on mozilla's html parser. it acts as a bridge from java classes to Mozilla's classes and outputs a java Document object from a raw ( and dirty) HTML input
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.
Sidewinder is a new kind of cross-platform application framework that uses web standards like XHTML, SVG and XForms instead of more complex languages, such as C++ or Java, to produce rich internet-facing applications and widgets.
A LDAP based cluster control system that allows the deployment and administration of heterogeneous clusters. An extremely generic framework designed to be extended as required by administrators for each cluster.
La Suite Nemesis Research & Design 1.x (NemesisRD) es un conjunto de librerías multipropósito, que ofrece gran cantidad de clases y patrones implementados en C++, que tienen como objetivo facilitar la realización de las tareas más habituales a la hor
Pushup is very fast, efficient and simple HTTP streaming (also known as COMET) daemon. Basically, it allows you to call javascript functions directly in user browser in RPC manner.
Irudiko is a library written in C++ for generating Locality Sensitive Hashing sketches from any textual and web document. Mainly designed to work with HTML pages, it has also an optimization support for English or Italian documents.
RTF to HTML converter for use both with your applications and as a standalone tool. Small and fast. Processes tables better than any other tool I've seen.
TrakZat will allow you to track almost anything on the web and be notified of status update (like FedEx shipments).
It consists of an API (C# or COM accessible) and different plugins and application using that API.
CSSTint is an utility that allows you to easily change the appearance (i.e. color) of your website, by modifying the CSS file(s) using hue, saturation and lightness modifications (HSV and HSL supported). Parse your CSS file in, tint the colors and save.
This is a tutor which teaches how to use HTML and describes every element. It creates files and shows how to use them. It's a way to learn HTML easily with just one free program.
Visual xsltproc is a tool which help to write xslt file, and debug it to find errors. It writes xml, and generates xml (Syntax highlighting of XML & line Nr.). Finally if the result is XSL-FO it generates the pdf on Apache FOP java. Build on QT4.2.