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
Regpack: All-in-One Online Registration and Payment Software
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.
Python Multimedia Messaging Service (MMS) library
The python-mms library provides an "mms" module for Python, consisting of classes that facilitate the creation, manipulation and encoding/decoding of MMS messages used in mobile phones.
The Restaurant Table Reservation System is a Django-powered web server framework that allows programmers (or me) to build websites for restaurant owners where customers can reserve tables (over the web) based upon owner-provided table availability data.
Spam Scalpel is an open source spam intelligence engine. Spam Scalpel's main objective is to automate data collection and analysis for monitoring compliance with anti-spam laws.
Multi-cloud security delivered — now and in the future.
Designed for organizations operating in the cloud who need complete, centralized visibility of their entire cloud estate and want more time and resources dedicated to remediating the actual risks that matter, Orca Security is an agentless cloud Security Platform that provides security teams with 100% coverage their entire cloud environment.
This framework allows the definition of attributes, entities and relations as used in entity-relationship (ER) models. It will then handle input and representation of data appropriately.
wxBrowser is an application browser based on the wxWidgets GUI framework. It's similar to a regular old web browser only, instead of reading HTML and displaying content it reads XML and executes presentation logic (wxPython) in a client side application.
This project is an XML oriented Web Framework that relies on python for expansion of XML data into web pages, while keeping code and content sepearted. Coupling this with CSS allows for complete page formatting and styling without touching python code
A simple Python-based web framework for viewing and editing genealogy data. Allows users to browse your family tree and make changes, such as adding new people, adding or deleting images, or notes and stories. Works with GEDCOM v5.5 and Spyce.
Streamline proposal creation with the smartest AI, the best content, seamless integration with Microsoft Word, and unmatched efficiency.
Automate your best practices, processes, and standards to guide your proposal writers, sales teams, and subject experts. And don’t worry, it’s so easy to use they will use it. We would love the opportunity to help you quantify the impact your business can expect from investing in Expedience Software. Click here to request a Return on Investment (ROI) calculation. In this 15-minute session, we will ask 20 simple questions to assess and grade your current proposal quality and scalability. Manual proposal processes are likely costing you far more than you realize. These models waste time and kill the productivity of proposal writers, sales team members, senior staff, and subject experts.
SuperG is a code library written in Python intended to quickly enable programmers in a scientific environment to manage data files created by dispersed scientific instrumentation.
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.
StreamMine is a distributed event processing (streaming) infrastructure.
You can create low-latency, fault-tolerant stream processing functionality with any stream-oriented operators that can be implemented in Python.
Open source tkinter framework for grouping small applications together
tKroopy is an open source Tkinter framework for building groups of small to medium GUI applications - Think of it as a hub for your applications and scripts.
tKroopy includes some additional widgets to make building applications faster.
Spoor is a lightweight, highly-customizable wiki engine with support for dynamically creating fields for structured data. It is written in Python and utilizes the Django web framework.
The PyQt4D (Python Qt for Designer) is an Open Source Project making Qt Designer full-featured RAD (Rapid Application Development) tool to develop data-aware two- or multi-tier applications using Python language and Qt library.