New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Claim $300 Free
Build Securely on AWS with Proven Frameworks
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.
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.
The goal is to develop a tool to assist research in algebraic graph theory.
It already features an intuitive graphical user interface and methods to calculate graph endomorphisms, factor graphs and products of graphs.
Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.
Ganzúa is a cryptanalysis tool for classical ciphers (mono and polyalphabetic) that lets the user define almost completely arbitrary cipher and plain alphabets, allowing for the proper cryptanalysis of cryptograms obtained from non-English texts.
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
FractalJ is an application designed to be an education tool for teaching fractals and chaotic dynamical systems. Fractals, complete bifurcation diagrams, orbit diagrams, iterated function systems as well as the Mandelbrot and Julia sets are provided.
"Probabilistic Factorisation of Large Integers"
Lima is a platform-independent software tool, written in Java, for factorising arbitrary integers using probabilistic algorithms and distributed computing methods.
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.
JTSA is an educational time series analysis tool for simple calculations and forecasts using the additional or multiplicative seasonal decomposition method.
Fnattlab is a matlab clone written in java. Fnattlab is a mathematical tool mainly used for manipulation of matrices, and is intended to be completely compatible with the commercial tool Matlab. No m-files are included with fnattlab.
www.mathworks.com
JFD is an educational Java tool for computing the formal derivative of an expression. It recognizes the regular operators, parentheses and functions. It can also be extended with custom functions and/or operators.
MathGenius is a graphical tool intended to simplify your work in mathematics. By now it includes a graphical function plotter, a mechanism (still in development) to derive functions, and an equation solver. An extension mechanism will be developed.