Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
Start Free Trial
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute functions, plot them, and write about them, all easy as 1-2-3!
MaCaCo (Mathematical Calculations Core) is a numerical analysis library written in C++ with an XML messaging based interface. It uses a daemon in order to attend requests and serve solutions to the asked problems.
PyGiNaC is a Python interface to the C++ symbolic math library GiNaC (www.ginac.de). Its design attempts to be an easy to use and convenient alternative to cint or ginsh.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
A simple tool for visualizing finite sets as cardboard boxes.
Boxes nest and contain numbers/balls to give a basic intuition for students first learning about sets.
3D visualization done via OpenGL.
The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency.
http://www.cs.kuleuven.be/~petervw/JCHR/
This is a client/server/CORBA software aiming at solving partial differential equations.The server provides the solver while the client provides the input data and the handling of the output using a
graphic library, vtk.
XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
Prenzl!! is a desktop application and a screen saver running artistic cellular automata. The application is based on an Eclipse architecture and the rules can be in native. Our mission is to provide a viewer and an SDK for this kind of art, called CArt.
Console based application which should compile on any system supporting c++. Includes calculations like blood alcohol content, 1/4 mile run, liter conversion, etc.
Project Graph contains the sources and releases of MIDlet Graph, which calculates mathematic expressions and draws function graphics on the screen of J2ME mobile device.
A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
GTS provides a set of useful functions to deal with 3D surfaces meshed with interconnected triangles including collision detection, multiresolution models, constrained Delaunay triangulations and robust set operations (union, intersection, differences).