Intelligent predictive dialer for outbound call center
Solution for lead generation, Political Campaigning, Telemarketing and Phone Polling
Our autodialer software can massively increase productivity by dropping busy, unanswered and disconnected line, passing calls answered by real people back to your agents, and leaving messages on answering machines.
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.
NumberMonkey is a calculator written in Java, including basic operations and additional functions; new functions are added with each release. It can be implemented as a standalone desktop application or as an applet within a webpage.
A platform which hosts battles between Fruit War robots - special java programs. The platform accepts source code as robot, and ranks all robots according to battle result. This project has been totally refined and is now hosted at http://robotypo.appspot.com
The purpose of this project is to help researchers in the field of video tracking by providing and documenting some basic functionality for 2D and 3D object tracking on video sequences.
Ditto Edge Server is a lightweight standalone server for resource-constrained edge environments, based on the core Ditto Edge SDK.
With Ditto Edge Server, you can join devices as small as a Raspberry Pi to a local mesh network and synchronize data across edge environments.
Ditto's Edge SDK is the only thing your edge devices need to ensure your application is operational in any environment, regardless of network conditions.
Automatous Monk is a Java application that maps cellular automaton evolutions into music. The resulting music is represented as jMusic scores that can be played and saved as MIDI files. A real-time version, which uses JSyn, is also available.
Structlab is a machine learning C++ framework for structured domains, which provides a toolbox of learning methods and tools for preprocessing and visualization. It also provides a GUI to setup elaborate experiments in a visual and intuitive way.
Bidirectional computer, bicomp, is a virtual machine designed to aid in the research of complexity. bicomp runs its programs in forward or reverse. The program either produces a result from two inputs, or a list of possible inputs given a result.
GoAnywhere MFT provides secure managed file transfer for enterprises. Deployable on-premise, in the cloud, or in hybrid environments, GoAnywhere MFT software enables organizations to exchange data among employees, customers, and trading partners, as well as between systems, securely. GoAnywhere MFT was a recipient of the Cybersecurity Excellence Award for Secure File Transfer.
This program checks whether a number is prime. You can also search for prime numbers in a range of your choice. It has a graphical user interface and it's written in C and GTK+.
Sake is a PHP implementation of Polynomial Least Squares Regression. The algorithm takes data points as input and returns the resulting polynomial. Graphs can be made using any plotting package. Sake provides the polynomial and will compute as many point
Mathematics formula renderer for Microsoft Word. Easy to use and really fast + Mathematics drawing toolbar for Microsoft Word + Math exercices storage Database for Microsoft Access. Available in French and English!!!
My first prehistoric OS project. First implemented on a AMIGA platform incl GUI in the 90's. Later on moved to Windows without GUI - CLI only. On windows a network version (client-server) was implemented.
Operates with mathematical symbolic scientific expressions using a pattern matching strategy. These patterns are part of the Research Libraries
- Equation solving
- Symboloc differentiation
- Symbolic integration
- Symbolic operation with differential equations
PyMaTi is a simple and easy to use GUI for numerical and scientific computing in Python. It surrounds well know packages NumPy and Matplotlib and provides possibility to immediately play with numerical python from intuitive user interface.
GtkPlot is a graphical front-end for Gnuplot, based on gtk+. Features: 2D/3D plotting (parametric as well), labelling, axes management, and much more... Please consider shifting to the pyGtkPlot project: https://launchpad.net/pygtkplot
RNGSHARP is an easy to extend C# library for generating generic objects with a specific probability or random numbers from a wide variety of distributions. Library provides mix distributions system and a way to set output accuracy.
OCAMAWEB is a CWEB like literate programming tool written in the OCAML programming language.
OCAMAWEB is actually intensively used at MIRIAD Technologies.
Actually, a configuration file is ready for the MATLAB language, but configurations files are in
MathWorx is a JavaScript library of mathematical objects, also including 2D plotting functionality and will eventually have 3D object compatibility. A GUI editor will be made based on these libraries to ease the development of interactive math pages.
Math.NET aims to provide a self contained clean framework for symbolic mathematical (Computer Algebra System) and numerical/scientific computations, including a parser and support for linear algebra, complex differential analysis, system solving and more
Fibonacci, to unix shell. Calculate large fibonacci numbers max. 255 digits, and writing to console. Program code writing in pascal language, and very small.