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.
Start Free
Save Up to 91% on Cloud Compute With Spot VMs
Automatic sustained-use discounts. One free VM per month. No negotiation needed.
Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.
MutationFinder is a biomedical natural language processing (NLP) system for extracting mentions of point mutations from free text. MutationFinder achieves high performance (99% precision, 81% recall on blind test data) as an information extraction system
JLink lets users author flow charts based on ISO 5807 and IBM standards. Developers can use JLink to add flowcharts to applications, serve a flow chart over the web in PDF or PNG, or dynamically create a flowchart with Javascript, Python or Ruby scripts
This project aims to provide libraries in a few languages which allow for NORAD general perturbation element sets to be used in calculating the position and velocity of space objects.
Crow - Computational Representation Of Whatever. A platform for the integration and mining of complex and distributed data. Represents cross-linked semantic web documents as a network of software objects and offers easy ways to filter, and sort them.
The goal of zAutomation project is to design/implement hardware, firmware and software for remote control and monitoring of physical objects, by using the ZigBee technology and internet. The field of application is robotics and domotics.
Design and develop Recommendation and Adaptive Prediction Engines to address eCommerce opportunities. Build a portfolio of engines by creating and porting algorithms from multiple disciplines to a usable form. Try to solve NetFlix and other challenges.
Dimenso is a library of numeric types for .Net and Java, that obey dimensional analysis and permit calculations with physical quantities. Due to the lack of C++ - like templates with numeric arguments, code generation is employed using Python.
AGTK is a suite of software components for building tools for annotating linguistic signals,
time-series data which documents any kind of linguistic behavior (e.g. audio, video).
The internal data structures are based on annotation graphs.
iROS is a meta-operating system for technology-rich "interactive rooms". The core components (Event Heap, DataHeap, iCrafter) provide communication, data storage, and service management for an iRoom.
The Campaign Simulator is an attempt to statistically model and predict the outcome of an American presidential election; several users assume the roles of competitive candidates and inflict the repercussions of certain decisions on a GSS based dataset.
BioMa is a specimen based Biodiversity database Manager. It is designed to store, organize, and manipulate biodiversity-related scientific data, either for the purposes of museums, scientific collections, or research projects.
NGmp is a C# C++ Java Python VB.NET etc. etc. binding of GMP and MPFR multi-precision number libraries. With support of Microsoft .NET or Novell Mono runtime NGmp will run on mutliple platforms. It is faster than other libraries available on .NET or Mono
A configurable knowledge management framework. It works out of the box, but it's meant mainly as a framework to build complex information retrieval and analysis systems. The 3 major components: Crawler, Analyzer and Indexer can also be used separately.
ScientificIcons is a central repository of icons for scientific programs, including molecular biology, lab automation, sample tracking, chemistry, biology, physiology, etc. Looking for an icon for a flask, chemical, gene, plate, robot, atom?
Driver support for 3D Controller Hardware. We hope to support SDL Input, DirectInput, and other major controller API's including game consoles and embedded systems.
Maui Scheduler is an advanced reservation HPC parallel batch scheduler for use with Linux and BSD clusters. Maui provides a complete scientific scheduling solution, supporting running custom parallel and MPI jobs over Myrinet and ethernet.
The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.