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
Build a Custom Ad Server in Just Weeks
Adzerk's ad serving APIs allow developers to build and scale innovative, server-side ad platforms without reinventing the wheel.
Adzerk's APIs make it easy for engineers and PMs to build their own server-side, fully-customized ad server. Top e-retailers and user communities use Adzerk to build innovative ad servers to promote anything from native ads to internal content to sponsored listings (where vendors and sellers pay for their organic listing to be promoted in search and browsing results).
Engineers reliably see a 90%+ reduction in dev time using Adzerk’s APIs versus doing it entirely from scratch. Adzerk’s customer list includes Fortune 500 brands, public companies, and unicorn startups, including Bed Bath & Beyond, LiveNation/TicketMaster, Wattpad, TradingView, imgur, Strava, and many more.
Our Ad.Product community makes it easy for product managers, engineers, ad ops, and others to discover and discuss how to build innovative, user-first ad platforms.
Blackdog-types is a plugin defining the objects that can be manipulated in the Blackdog application, audio item, playlist, radio station and so on. Blackdog-types is a member of the plugin environment of the blackdog application.
M3Actions is a framework to define operational semantics in MOF metamodels. It provides a graphical action language to define model behaviour, a simulator, debugger and execution trace recorder, build on top of eclipse modeling projects (EMP).
commTee is a system which is used to store informations received from mobile clients (Phone, PND, PDA, ...). The system is able to work with about 10k nodes. Used protocols and technologies: UDP, TCP/IP, Sockets, Java, Hibernate, OSGI
Feroot AI automates website security with 24/7 monitoring
Trusted by enterprises, healthcare providers, retailers, SaaS platforms, payment service providers, and public sector organizations.
Feroot unifies JavaScript behavior analysis, web compliance scanning, third-party script monitoring, consent enforcement, and data privacy posture management to stop Magecart, formjacking, and unauthorized tracking.
A JavaScript presentation layer framework. It proposes a complete separation of view logic and design. Its components are designed by its role and not by its screen appearance, reducing drastically the API.
Making use of threads when building a GUI is a pain. SwingWorker is a great idea but doesn't go far enough. This library includes tools and patterns to make managing multiple concurrent tasks from an event thread easier.
It's SwingWorker on steroids.
Powerfully Simple Remote Monitoring and Management Software
NinjaRMM provides intuitive endpoint management software to managed service providers (MSPs) and IT professionals
If you're looking to support your clients and manage IT more efficiently, turn to NinjaRMM. The world's first security centric remote monitoring and management (RMM) platform, NinjaRMM enables IT professionals to monitor and manage the entire IT stack with full automation all within a single pane of glass. The platform features search and connect through TeamViewer, antivirus integration, real-time alerts, managed patching, automation, software inventory, and reporting.
Vanadis aims to be a distributed systems platform built on OSGi. It should be easy to expose your services, and it should be easy to find your dependencies. Distribution should be transparent. Will it? Maybe, stay posted.
PeerVibes is a framework for creating applications based on peer-to-peer networks. This framework provides the necessary tools and architecture to build complex applications such as collaborative work support and distributed backup.
A library for handling vectors, tensors, and more.
VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner.
ERP/CRM Modular Enterprise Application based on Spring Framework with demonstration of well designed integration of technologies like Struts, JSF, AJAX, ACEGI, XFIRE and others and with a bit on SOA as well
OlsenRoutes is a software environment with a powerful difference. It provides online users with a library of statistical tools and access to Olsen's database (1985 through today) of tick-by-tick foreign exchange trading prices.
Bluewave is an object oriented database and application server that provides a neat intuitive way to store data. Bluewave also features a powerful client and server API.