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
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
GradeSignifier provides statistical significance testing for item response data.
In a few clicks you can: convert raw test data into scores, determine if the scores of two groups differ significantly, make cumulative probability charts, and more.
Edit equations right on the screen with your mouse, and never make a mistake. Guide the program through any complex algebraic manipulation, and let it handle the tedious details. Many other features!
BabyTALK is to add another brick in the wall of natural languages learning. The baby needs to structure a corpus of texts when his tutor points and talks about a particular part of the corpus. The baby is also to describe any selected part of the corpus.
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.
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
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.
M+ Compiler/Interpreter is a interpreter library written in Java that delivers the possibility to extend any Javaapplication with simple scripts. Besides the usage of native datatypes and operations you can instantiate and call native Java objects.
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.
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.
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
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.