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
Corporate Compliance Software | Skillcast
Trusted by 1,400+ companies to simplify compliance
Skillcast delivers compliance training and RegTech through a unified Compliance Portal that brings e-learning, Policy Hub (versioning & attestations), staff declarations, compliance registers, CPD/Training 360 and Events Management in one place.
GraphScript project is a network theory simulator based purely on Java and Java scripting engines.
It is intended to allow fast development, testing and visualization of network theory (graph) algorithms.
This project aims at developing a free open-source Scraper and Macro Interface for Web programmers, that needs no installation and will work in most of the operating systems.
Ensure operational efficiency at any scale with 24/7 autonomous IT support.
IT Autopilot takes the pressure off your team by handling first-tier support across the channels your end users already live in — email, chat, Slack, Teams, and your Customer Portal. It doesn’t just respond to end-user queries, issues, and crises — it solves them.
explicanto is a integrated E-Learning, Knowledge Management and Knowledge Distribution Platform. It consists of two Java-based components: Client-server based Authoring Platform (eclipse RCP, Java EE) and a web-based Distribution Platform (Java EE).
primejobs is program to control and visualize user's commands execution flow. The commands (jobs) are to be executed at specified time in specified sequence. Unlike usual crontab/scripting primejobs allows direct control of the execution flow, setting notifications related to job events, stop/resume execution at any point etc.
primejobs design is influenced by OddJob (http://rgordon.co.uk/oddjob/index.html) which is regarded as major breakthrough in understanding how practical job...
The project is a port of the Mozilla Rhino JavaScript Interpreter (http://www.mozilla.org/rhino/) from Java/SE to J2ME/CLDC. The J2ME/CLDC port opens up the mobile world for scripting Java, as it is a widely used platform for mobile phone programming.
For companies looking to recognize and reward their employees
Everything you love about Amazon is now available for rewards and recognition. Awardco has partnered with Amazon Business to bring millions of reward choices, lower vendor fees and dollar-for-dollar recognition spend to your organization. More choice, more capability, and less spend - all in one simple platform.
CORPORE is an integ. sys. business manag., which covers admin.routines of the company, whether industrial, commercial or provider of services, allowing complete control of inventory, orders, portfolio of customers, managing, promoting decisions & results
The Open Source Mobile Widget Platform is an Orange initiative to bring a complete software stack (client and server side) for distribution of mobile widgets on Java feature phones. http://www.orange.com/fr_FR/presse/communiques/cp101001fr2.jsp
EffDom is an alternativ or complement to XML. EffDom is focused on compact datasize and efficient parsing which makes it well suited for embedded and mobile applications. Please visit www.effdom.org.
netaminas@ is an integrated software solution that supports the knowledge management process using collaborative tools specially designed for judicial, police and criminal investigation activities.
The goal is to allow Java web developers to create workflow-like websites, moving away from the traditional page-based system to a website represented by states (screens) and transitions (links, forms...) and using AJAX to process the requests.
Appointment scheduler allows a customer, patient or client to schedule an appointment via the company's homepage.
This project is developed on java platform.
and
this is totally free.
Cargo Management System helps you manage the Cargo business. It provides the functionality to enter consignment information, enter packing/loading detail, enter unpacking/unloading detail, and the delivery information.
A platform independent application with embedded web server. The intended use is to allow students to perform common classroom tasks via a web browser. It allows for the distribution and submission of assignments and classroom materials.