Web based PHP interface to communicate to Maxima computer algebra system in the server. It takes user input, send it to Maxima, and show the output back to website. It could send almost any commands including 'plot2d' and 'plot3d' to plot graphs.
DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Numerical math is tool that demonstrates numerical math methods. It includes following areas: interpolation, numerical differentiation, numerical integration, root finding, linear systems, non-linear systems, differential equations.
SIVP stands for Scilab Image and Video Processing toolbox. SIVP intends to do image processing and video processing tasks. SIVP is meant to be a useful, efficient, and free image and video processing toolbox for Scilab.
A program to calculate and create lists of possible variations (permutations) and selections (combinations) of a given set of elements. Creating the cartesian product of two sets is also possible.
Multitask scientific calculator. Supports plugins and scripts (in C++ and QtScript respectively) to provide different working modes and custom solving functions.
Auth0 Token Vault handles secure token storage, exchange, and refresh for external providers so you don't have to build it yourself.
Rolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
Parallel Colt is a multithreaded version of Colt - a library for high performance scientific computing in Java. It contains efficient algorithms for data analysis, linear algebra, multi-dimensional arrays, Fourier transforms, statistics and histogramming
Iterate function viewer for Windows and Linux. It has built in 14 different iterate {Mandelbrot) functions. Many possibilities for changing parameters, saving as bitmap or small file. windows-32. Linux 32 - 64bit. Low level written in assembler.
mdl is a system of formal mathematics, which is split into 2 levels: a high-level language for human-readable representation of math and low-level language for trustworthy verification. Currently, as low-level language mdl uses metamath system.
A collection of compact, powerful programs and functions, written in C, for the analysis and transformation of data. No object or structure dependencies, no fancy interfaces - just good tools.
A native Java port of freesteam - http://freesteam.sourceforge.net/
An open source implementation of international-standard IAPWS-IF97 steam tables from the International Association for the Properties of Water and Steam (IAPWS).
This is my first attempt at building a reusable framework for 3D applications (not an engine!), primarily for educational purpose and also because none of the already existing tools did satisfy me. No longer maintained.
MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection