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
$300 Free Credits to Build on Google Cloud
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Easy to use physics simulation combining ODE with OpenInventor.
Create phyiscal simulations easily through IPSA which combines the OpenInventor 3D API with the Open Dynamics Engine (ODE). Scenes are read from .iv files and simulated in the supplied viewer applications. Find it at: http://ipsa.sourceforge.net
One day there will be a Windows 9, coming after Windows 8 and current Windows 7. Why not starting working now on a Windows 9 similar open source OS ten years before it appears instead of still working on it 10 years after it will become obsolete?
foo is a sound synthesis framework which provides high-level
abstracted ways of creating and manipulating sounds via a scheme
language interface. foo is designed for highest audio quality rather
than highest performance.
System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.
Avenzoar is a one-year exploration of renal cell carcinoma morphology and its related single nucleotide polymorphisms (SNPa) as a method of automating diagnosis of cancer by using a computer-aided decision tree controlled by analytical statistics.
GNUexp is a GNUstep/Cocoa framework and a collection of tools helping you to plan, develop, and administer applications associated with visual psychophysics, experimental psychology and statistical data analysis.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.