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
SalesTarget.ai | AI-Powered Lead Generation, Email Outreach, and CRM
SalesTarget.ai streamlines your sales process, providing everything you need to find high- quality leads, automate outreach, and close deals faster
SalesTarget is ideal for B2B sales teams, startup founders, and marketing professionals looking to streamline lead generation and outreach. It also benefits growing SaaS companies and agencies aiming to scale their outbound efforts efficiently.
The Movinator is a movie database application. It manages information about movies plus ratings assigned to movies by movie critics. Based on these ratings and user ratings, the application can also make movie recommendations.
A software toolkit that implements the CoSy Architecture Schema for developing integrated intelligent robotic systems. The toolkit focuses on supporting on a space of information-processing architectures based on shared working memories.
The main intention of this project is to support the SNNS (Stuttgart Neural Net Simulator) with patches, bugfixes, tools and add on developments. Second target is to publish useful links and information about the SNNS.
Power through agendas and documents, make more informed decisions and conduct board meetings faster.
For team managers searching for a solution to manage their meetings
iBabs not only captures the entire decision-making process – it takes all the paperwork out of meetings. iBabs empowers everyone who has ever organized or attended, a meeting. With a seemingly simple app that offers complete control and a comprehensive overview of all those fiddly details. With about 3000 organizations and over 300,000 users, iBabs gives you peace of mind. So you can quickly organize effective meetings, and good decisions can be made with confidence. iBabs didn’t just happen overnight. We started analyzing and simplifying board meeting processes many years ago. We understand all the work that goes into meetings, and how to streamline everything so it all flows smoothly. On any device, confidentially, securely and automatically. Make good decisions with confidence.
The SLiCproject is the manuscript map for the original rendition of an information classification system designed with the intention of meeting a standard of scientific ordering of all of human knowledge.
The system is designated, "Secular Library Classification." The mind maps downloads are currently in .mm format for Freeplane and Freemind applications. Other media forms are expected pending further development, and distribution necessities.
The downloads are not completely...
Implement your player strategy and compete with other strategies.
A generic framework for Four in A Row or Five In A Row or X In A Row game, with the possibility to develop different strategies and compare them in tournaments.
To implement more players, create new class inherited from PlayerStrategy, and implement the move() method to chose best move, by utilizing different methods provided with Table object.
Febrl (Freely Extensible Biomedical Record Linkage) does data standardisation (segmentation and cleaning) and probabilistic record linkage ("fuzzy" matching) of one or more files or data sources which do not share a unique record key or identifier.
A toolkit for the optical recognition of Psaltiki 19th century music notation. It is based on and requires the Gamera document image analysis framework (http://gamera.sf.net).
Tremendous is the global payouts platform for businesses sending gift cards and money at scale.
Getting started is simple: add a funding method and place your first order in minutes.
Trusted by 20,000+ leading organizations, Tremendous has delivered billions of rewards and enables businesses to reach recipients across 230+ countries and regions. Recipients have 2,500+ payout options to choose from, including gift cards, prepaid cards, cash transfers, and charitable donations.
ftc is a python script for content-based file type classification based on an file extension and magic number database, and several computational intelligence algorithms.
This project is a complete cross-platform (Windows, Linux) framework for Evolutionary Computation in pure python. See the project site at http://pyevolve.sourceforge.net or the blog at http://pyevolve.sourceforge.net/wordpress
Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.
Spirit, a different way to write! You guide your mouse through streams of predicted words. As the intelligent agent learns your writing style, its predictions become more accurate. You can prime Spirit with the prose and poetry of any author!
iFriend stands for "Imaginary Friend". It is a multi-protocol chatbot distributed under the GPLv3. A very powerful plugin system, multi language support and a simple configuration are only some features of this chat bot.
Both forward-chaining and backward-chaining rules (which may include python code) are compiled into python. Can also automatically assemble python programs out of python functions which are attached to backward-chaining rules. See pyke.sourceforge.ne
Ask Minerva is a chat-bot that is intended to be used as a "Cardboard analyst". (IE: A person who a developer explains a problem to as a way of examining their own reasoning)
Rhea Genetic Engine is a highly versatile software engine used to solve ill-defined, abstract problems by employing a genetic pattern. It is easy to understand and use, yet provides advanced features for those who desire them.
Based on the introduction of Genetic Algorithms in the excellent book "Collective Intelligence" I have put together some python classes to extend the original concepts.
Yann is Yet Another Neural Network. Yann is a library to create fast neural networks. It is also a GUI to easily create, edit, train, execute and investigate networks. Multiple topologies, runtime properties and ensemble learning are supported.
Onyx is for rapid prototyping and large-scale experimentation on advanced machine-learning algorithms with an emphasis on algorithms for online or streaming analysis, modeling, and classification.
Spring PyAI is a wrapper for the SkirmishAI Interface of the SpringRTS Engine. More Infrmation about SpringRTS can be found at http://www.springrts.com
A three-step approach towards experimental brain-computer-interfaces, based on the OCZ nia device for EEG-data acquisition and artificial neural networks for signal-interpretation.