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
Multi-Entity Cloud Accounting Software for Growing Businesses
Built for small to midsize businesses that have outgrown entry-level accounting or legacy ERP solutions.
Built natively on the Microsoft Power Platform (Dynamics 365), Gravity delivers robust multi-entity financial management with seamless integration to Microsoft 365, Power BI, Teams + Copilot — no third-party add-ons required.
Born from the embers of KWUR 90.3FM, these are the tools we developed internally to manage charting, automated programming, remote broadcasts, rebroadcasts, show archival, and our DJ workforce as a non-profit, non-commercial, underground radio station.
Open-jACOB is a rapid application development tool base on Eclipse that enables the development of RichInternetApplications that are based entirely on Java. Open-jACOB application can be deployed as a stand alone app's in a Web container like Tomcat.
MicroStation by Bentley Systems is the trusted computer-aided design (CAD) software built specifically for infrastructure design.
Microstation enables architects, engineers, and designers to create precise 2D and 3D drawings that bring complex projects to life.
MicroStation is the only computer-aided design software for infrastructure design, helping architects and engineers like you bring their vision to life, present their designs to their clients, and deliver their projects to the community.
DPDesktop is a tool for tracking your working time. Although originally built to use dotProject as its backend, any other project management application may provide the needed web interface to work with DPDesktop.
Light weight desktop time sheet application written in Java. ]po[ Time Sheet is designed to work with the ]project-open[ project management on the server side for managing the project hierarchy, advanced reporting, billing and financials.
A multiplatform (win/linux, soon osX) application that takes a snapshot of the screen at regular intervals. This can later be used for time sheets or similar. It consists of a service that makes the screen shots and a viewer. Read the wiki!
Ukolnicek is a multi-platform (Windows, Linux, OS X) PIM tool. It allows to keep all your personal task in a graphical and easily accessible form to help manage your time efficiently. Using synchronization you can access your data from everywhere.
Regpack is a powerful onboarding, registration, and payments platform trusted by thousands of organizations worldwide. Our mission is simple: to give you the tools to automate busywork, streamline your processes, and keep your focus where it belongs, on growing your programs and serving your clients.
BioAcceso es un sistema para el control de asistencias de los empleados, tomando la huella dactilar del personal para su registro e identificación. Es una aplicacion de escritorio desarrollada con el lenguaje Java, utlizando Mysql Server como RDBMS.
SimplePunch is a simple punch clock application written in MIDP J2ME. It allows you to create projects and punch in/out timerecords for each. Support for sending reports via bluetooth
O-HCM is an Open Source Human Capital Management System based on the Ofbiz framework. The goal is to provide a fully functional HCM solution that integrates into the Ofbiz suite of applications.
DDesk is a ticket, task and issue management application. Profiled for desk-side support companies. Includes client UI, partner and internal UI. (Not in active development since 2006) Released under Apache License 2.0, user, reuse as you will.
openCR is an open source Controlling Tool. This tool will give the user the ability to plan and control specific projects with full support for extensive time management.
Ptraco, Complete Solution for the Project Management , timesheets and reports to complex project and resource management, requires nothing more than a browser or simple thin Desktop client