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
The only CRM built for B2C
Stop chasing transactions. Klaviyo turns customers into diehard fans—obsessed with your products, devoted to your brand, fueling your growth.
Klaviyo unifies your customer profiles by capturing every event, and then lets you orchestrate your email marketing, SMS marketing, push notifications, WhatsApp, and RCS campaigns in one place. Klaviyo AI helps you build audiences, write copy, and optimize — so you can always send the right message at the right time, automatically. With real-time attribution and insights, you'll be able to make smarter, faster decisions that drive ROI.
Parsec provides a JSP 1.2 tag library and an API for developing rich web applications. MVC is supported with the Page Controller pattern, where requests go to JSPs; no XML config files. Client-side form validation supported by JavaScript code generation.
The Niggle web application framework is a java class library that allows
a complete separation of data and presentation from the servlet's dispatching
logic. It leverages various Java API's as well as the freemarker template library.
Java XSLT Web Application Framework (JXWAF) is a Java based XML/XSLT framework to enable Web based applications to be assembled easily.
The usage of XSLT will ensure clean separation of data from its presentation enabling pages to be changed quickly
A light-weight C#.Net library to manage storage and retrieval of user settings. The actual datastorage is configurable and adapters for standard Sql databases including SQLite, XML files, and flat files are planned.
This toolkit facilitates easier connections between stored data, intermediate data, and data presented to users in Java applications. The classes are abstracted as much as possible to allow wide use for various types of programs.
Have you come across database connection overrun due to developers forgeting to close db connections? 'Easy-Data-Access' is a simple framework that solves the issue. It also helps well designing your data layer with boosted developer productivity.
Powerful XML data binding technique. Based on XML Schema creates ready to use Java business objects with rich validation. It supports parameters restrictions, lists sizes, other business objects validation, serialization/deserialization methods, and more
Open eSign allows software developers and technical parties in a company to create secure, online (web-based) forms and documents that follow a business process flow and enable legally recognized electronic signatures using digital signature technology.
OpManager the network monitoring software used by over 1 million IT admins
Network performance monitoring, uncomplicated.
ManageEngine OpManager is a powerful network monitoring software that provides deep visibility into the performance of your routers, switches, firewalls, load balancers, wireless LAN controllers, servers, VMs, printers, and storage devices. It is an easy-to-use and affordable network monitoring solution that allows you to drill down to the root cause of an issue and eliminate it.
Libpovread is a library that allows files in the POV-ray file format to be read into C++ objects. The library will consist of several layers which will allow rendering methods and output format to be configured.
Regex Tuner is intended to build regex trees that can be applied to html pages or text files. This tool is very avail in developing web extractors or data parsers.
The co-simulation adapation platform serves as programming framework and middleware to enable coupling of distributed, heterogeneous numerical models. The framework facilitates the adaptation and integration of new sub-models into a common simulation platform.
XSpot Framework communicates with Lanbox hardware by .NET. It includes a program to work with the Lanbox device. Lanbox is a network based lighting console to control static and moving lights in theaters, concerts. See http://www.lanbox.com
JAST (Javascript Toolkit) is an Open Source cross-platform javascript framework that aid users to perform the most hard operations with few simple lines of code.
It's modularity allow the download only for the code required to the page.
Gulfstream is a Java XML serialization/deserialization framework capable of read and write Java primitive types, arrays, collections, JavaBeans and classes marked with special annotations.
NullHack is a collection of development libraries written in C that I have found useful in the past. Largely these are my own versions of previously invented wheels but with the added benefit of being placed into the public domain.
PHP framework with support for simple tags and server-side events like jsp, asp.net, etc. prioritizing separation between structure, behavior and presentation, generating clean valid html markup.
xmlandbean is a java library based on annotation who can read and inject XML datas into objects. Create the java objects, define (with annotations) for each properties how the system retrieve XML informations. Then, at runtime, xmlandbean populate them.
XML Processor is a Java library for working with XML snippets. XML documents can be generated according to an XSD. Support for interaction with DOM, SAX and Java Beans is included.
Web Objects in XML (Framework) is an interoperable and lightweight system for distributed objects. It is currently built in Java and C#. Remote objects are serialized in a standard XML format, and they are accessible trough their own URL.
CLAM (Common Language Automation Machine) attempts to eliminate the rote mapping of data to objects that is prevalent in most modern development languages by breaking the bonds of relational data and providing a generic mechanism for retrieving data.
MooTools for Code Igniter is a Code Igniter library for integrating the popular MooTools JavaScript library. It allows the CI developer to access MooTools functions with simple, single lines of code.
Ninja INI is a simple, lightweight, and fast INI file reader & writer. It supports 3 levels (sections, keys, and containers), multiple keys with same name, parse command-line (argc & argv). Written in C++ with STL design and optional bindings to Lua.