libidp is a C library implementation of the iterative dynamic programming (IDP) optimal control algorithm, which solves the optimal control problem for ODE and DAE dynamic equation models. An example problem is included.
GLARE is a library and a software for product based optimization of reagent lists in the context of a chemical combinatorial library design. Large virtual combinatorial libraries containing 10^12 products have been optimized within a second.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
jBaseChange converts values between number systems of radix 2-36, or it can convert the input value to all the supported number systems. Also included is a random number generator. This could be used to generate a strong password.
Lienzo is a gtk-Canvas and Lua program to work in geometry. Unlike others like Cinderella, Cabri, DrGeo, etc... this one focuses in algorithms, not in static figures. the lua interface allows to work with programable objects.
Calx is a calculator program based on RPN (Reverse-Polish Notation) that allows you to compute complex mathematical expressions containing brackets, mathematical functions etc.
A KDE based Computer Algebra System (CAS) that can also be used as an advanced replacement for KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.
JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
A heuristic implementation for solving the Bottleneck Traveling Salesman Problem (BTSP) and related problems, such as the Maximum Scatter Traveling Salesman Problem (MSTSP).
AutoGuider is an integrated environment for continuation and bifurcation analysis. Based on Auto2000, it is designed to be portable and easy to use/install. Features includes a project manager, support for MathML and SBML, and SVG export of graphics.
GradeSignifier provides statistical significance testing for item response data.
In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may however be used in any domain where efficient integer, modular, and floating-point computations involving large numbers are required.
The GMP compiler simplifies the use of GMP, the GNU multiple precision library. It scans a C source file for specially marked GMPS arithmetic expressions and replaces them with plain C.
BabyTALK is to add another brick in the wall of natural languages learning. The baby needs to structure a corpus of texts when his tutor points and talks about a particular part of the corpus. The baby is also to describe any selected part of the corpus.
Edit equations right on the screen with your mouse, and never make a mistake. Guide the program through any complex algebraic manipulation, and let it handle the tedious details. Many other features!
Eirik is a tool for exploring large data sets, by using statistical analyses and multiple linked visualizations for data reduction. It relies on R, QT4 and OpenGL. Developed as part of AstroGrid/VOTech, Eirik uses Ice and xmlrpc for distributed computing.