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
Full-stack observability with actually useful AI | Grafana Cloud
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.
ReliaFree is a Python and PyGTK based suite of tools to assist in Reliability, Availability, Maintainability, and Safety (RAMS) analyses. ReliaFree is intended to be an Open Source alternative to proprietary RAMS analyses solutions.
Model Builder is a graphical tool for designing, simulating and analyzing Mathematical models consisting of a system of ordinary differential equations(ODEs).
PyCV is a Python package of modules useful for computer vision tasks. Its current focus is on boosting techniques, Haar-like features, and face detection. PyCV provides the world's fastest method for training a face detector, in a few hours.
A Python environment for large and sparse linear and nonlinear optimization using intuitive interfaces to linear algebra tools and subproblem solvers written in low-level languages. It provides building blocks to experiment with new ideas and algorithms.
In knight tour (kt) problem every chess square is visited exactly once using knight moves. In this game some knight moves already made and we have an incomplete kt. The object is to complete the kt by guessing missing moves.
1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.
An easy way to integrate any function. Uses sympy as a backend. Currently text-mode only, but the goal is to create a very nice, simple, graphical interface using wxPython or PyGTK.
Linear Algebra Common Expressions (LACE) is a C++ templated library which allows you to operate with matricies and vectors inside your code as easy as on the whiteboard.
Functions to convert to and from decimal to Canonical Signed Digit representation. Handles fractional numbers.
Useful for multiplierless hardware blocks on ASICs, FPGAs etc.
Guanxi is a robust analysis and simulation application for Social Network Analysts. Guanxi allows researchers in the field to create, import, and export an endless array of networks, analyze their structure, and run custom dynamics over them.
Python program for fitting rate constants to primarily kinetic data as 1st or 2nd order kinetics or autocatalysis. It also allows specific noise cancelling, data smoothing by fourrier transform, box averaging and flowing mean. For Python 2.6 or earlier.
This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.
PuLP: An LP modeller in Python PuLP is an LP modeller written in python. PuLP can generate MPS or LP files and call GLPK, COIN CLP/CBC, CPLEX and XPRESS to solve linear problems.
Improved version of the LibNumTh library (http://libnumth.sourceforge.net/), reimplementing
its methods to work concurrently in a SMP environment.
In addition, it is extended with support for linear algebra and numerical methods mechanisms.
An experimental language designed to be very simple, but expressive enough to represent mathematical constructions and have strong introspective capabilities.
Data processing algorithms based on the gnostical theory of uncertain data possess high robustness with respect to both outlying data and changes of their statistical characteristics.