Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
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+.
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.
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.
This project is a GUI or command line interface for converting US measurements to metric. A simple calculator has been added for help with small measurements.
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
BuddyScout is an interface between BuDDy (Binary Decision Diagram library) and GHC (Glasgow Haskell Compiler). It enables you to use the BDD library from within Haskell programs.
l3lang is a persistent Python-like language and the l3gui provides a
worksheet-like interface where computed values can be examined via
simple selection and scripts can be assembled as structures.
A module for Python which provides interface to the PARI/GP computing library. We propose to write programs for PARI using Python scripting language. Python makes code much more clean, readable and manageable than the old-style PARI scripts.
FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Aricom is a file compressor. It is based on arithmetic coding compression. Just a proof of concept of the implementation of a statistical compressor. Aimple Java GUI interface provided. Best efficiency than huffman compressor. Entropy and information
Currently, this project consists of a pure java math expression parser optimized for repeated evaluation. Development of an interactive 3D math visualization application based on this parser is planned for the future.
Tuatara Turing Machine Simulator is a graphical tool for designing and executing Turing Machines. Designed primarily for teaching purposes, it features a simple point-and-click interface.
AbuGraph is a freely available Java application for the layout and visualization of directed graphs. Bound to a TCP port, it supports dynamic graph creation receiving commands from a telnet console or another third party application.
Quicksolve is an interactive graphing calculator and programming language. It provides an intuitive interface for performing basic plots and calculations with a focus on numerical solutions. Versions will be available for both Gnome and Mac OS X.
The Optimized Sparse Kernel Interface (OSKI) Library provides automatically tuned sparse matrix kernels, for use by solver libraries and applications. OSKI is part of the BeBOP project on performance tuning and analysis at U.C. Berkeley. (Go Bears!)
TAROT is a easy-to-use framework for Monte Carlo simulations in python. Calculations between different kinds of randomly distributed numbers are made as easy as basic arithmetics. Tarot provides an interactive graphical interface for interpretation.
C++SPCIP is a IPOPT like C++ Interface for the Optimizer SCPIP written by Ch. Zillober. SCPIP implements the Method of Moving Asymptotes in FORTRAN and is not provided with C++SCPIP. Please use the Wiki as main page!
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
The Simple Interface for Global Optimization Algorithms allows the specification of arbitrary search/optimization problems, solving of these problems, and the specification and implementation of optimization algorithms like evolutionary algorithms.
Multired is middleware for automatic dynamic generation of multi-resolution representations for large spatio-temporal databases. It also provides an API which uses the middleware to support user-guided navigation of spatiotemporal data.
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.
A full math Java class library containing complex functions and algorithms such as cubic-spline interpolation, least squares, matrix computations. Eventually to make a web based interface to the library using JSP.
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.