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.
Start Free
Cut Data Warehouse Costs by 54%
Easily migrate from Snowflake, Redshift, or Databricks with free tools.
BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
SurveyForge is a survey definition and execution tool oriented to statisticians running on JEE platform with special emphasis on data entry made easy, use of existing standards (Triple-S, Metanet, DDI) and reuse of standard (or not) classifications
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.
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.
JGP is a GUI for gnuplot (http://www.gnuplot.info/).
It is made for all those who just love gnuplot but who found
that organizing a large number of datasets and plots from the command line is inconvenient.
JGP uses gnuplot as plotting engine.
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
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/
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.
This if calculator for complex numbers. It works with algebraic and trigonometrical form and has multiple memory slots. There are many mathematical functions like sin, cos and etc.
FofZ is a Java based application which allows functions on the complex plane to be visualised in both 2D and 3D. It supports various edittable domains, animation and can produce 3D output using either it's own engine or JOGL.
This project started as a loosely specified request from Malardalen University in Sweden to develop a computer game for the purpose of teaching mathematics. It came to be a 2D game, Mario-style, where progress is made by answering mathematical questions
Graph Theorizer will be a java application that will help to teach and research Graph Theory. We will support Windows, Linux, and Mac in our first releases, while hopefully moving towards any platform that supports Java Standard Editon.
Digital graph 1.3 is an advanced JAVASWING component for modelling, displaying, saving and loading graphs(using XML and XMLSchema). It is fully documented and requires jdk 1.5.x.Version 1.3 adds 9 bug fixs, 3 rengineering and 4 new features.