Atera all-in-one platform IT management software with AI agents
Ideal for internal IT departments or managed service providers (MSPs)
Atera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
Learn More
The most advanced C and C++ source code analyzer
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.
The Genetic Architecture Framework is intended to explore and experiment with artificial life techniques using a genetic base for the physical and neural networks for the brain, in a game based simulated world.
idyuts is \"I Dare You to Use This Shell\"; a pre-hibernate approach to replacing an ORM written with jython functors into a pure-Java language command pattern. The \"pipeline codegen artifacts\" are simple IoC templates, and trivial to adapt
HORUS is a system for knowledge acquisition, hypothesis generation, inference and learning. It is an interactive, internet environment accessible to a diverse community of users (public-access or membership basis) - see also UMKAILASH project for more.
This application is designed to solve problems of transshipment. This
problem of the graph theory consists in finding a negative stream on the
arcs which minimizes the total cost of the transport in a network
R(V,E,b,c) where :
- V = vertex
- E
Charlemagne is a versatile genetic programming application which includes a command-line client and an interactive console mode. It features built in input-output mapping support, and is user-extensible for complex fitness evaluation in Python and Lisp
Visual Visitor is a website lead generation and visitor tracking tool that identifies anonymous website visitors who are in the market for your services. With current research showing that only 2% of all web visitors will ever call or submit an email form, the data provided by Visual Visitor on the other 98% can be an invaluable sales tool for your business (or your customers' business).
Geomatrix, collection of C/C++ libraries to be used for symbolic description of n-dimensional geometric models. Operates internally with a representation that constructs complex objects based on primitives, allowing loss-less modifcation of models.
A Python/Gtk application to manage groups of users stored in an LDAP database, using data from X509 certificates imported from files or LDAP servers maintained by certificate authorities. These groups are used to create grid-map files used by the Globus
A ContextTree is a way of dynamically forming relationships between information: the same information can be viewed in different ways, depending on what you want from it.
Galileo is a library for developing custom distributed genetic algorithms developed in Python. It provides a robust set of objects that can be used directly or as the basis of derived objects. Its modularity makes it easy to extend the functionality. The
SimNetQ is a discrete simulator of waiting queues networks. It is initially the result of the diplom work of Laurent Burgbacher. It provides a graphical diagram editor, a graphical simulator and a statistical analysis module.
A web browser designed for research into web site usability, TrackBrowser records user events such as which buttons they pressed, which hyperlinks they clicked on, all with the time and date of the event. Please note that this is only available for Windo
ABE is a small, fast and convenient program for visualizing and modeling experimental bioassay data. The data can be modeled using either polynomials or a more specific four-parameter model based upon the standard, sigmoidal dose-response curve.
jrgp is a strong-typed Genetic Programming system, which features a graphical interface (gool) to setup and run GP-problems and a tool (fs-d) that greatly simplifies the definition of a GP-problem.
Real-time data visualization. Graphically view your data as it's being generated. Peakster is a very intuitive GUI written entirely in Python, which monitors data at regular intervals and uses gnuplot to render 2D, 3D and superimposed plots.
GunStamp is a program which can be used where ever accurate timestamping of events are required. What it does, is to syncronize the computer clock to an external time source (a GPS) connected to a serial port, and then use this clock to timestamp events.