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
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
MASQOT-GUI is an open-source, platform-independent application for two-channel microarray spot quality control. Included is a set of tools for gridding, segmentation, quantification, multivariate spot quality assessment and data visualization.
Mupisim is a simulator for distributed, mobile systems. Its primary purpose is the study of mobile processes (e.g. mobile agents) and their communication mechanisms. It may also be used to evaluate the efficiency of a given process migration scheme.
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
Agent based model of organizations considering the interplay between the formal hierarchical structure and the process network emerging while the organization performs a task-set.
TaxonDNA is a simple but extensible system for performing simple DNA (and other) sequence manipulations in Java. We hope to create a simple framework which can be quickly extended to create bioinformatics applications.
A Java toolkit of MATIP (Mapping of Airline Reservation, Ticketing, and Messaging Traffic over IP) within a Connection Framework. This will provide a set of libraries for optimized communication link between an airline and a central computer system over
An Iris Recognition system written in Java. Acquires an image, locates the iris and produces a unique 'iris profile' for it. Will be fully supported by its own GUI but potentially linked into other applications, such as xlock.
PROMPT is a system for retrieval, analysis, mapping and comparison of proteins. It allows easy mapping of different types of sequence IDs, data retrieval and integration, a multitude of analysis and comparison algorithms and a full-blown easy to use GUI.
Road traffic simulator/game with lots of vehicules, different drivers characteristics, accidents, detours, manual or script-driven traffic lights control, pedestrian traffic, road-works, and plenty more! Solve your simulated traffic-jams problems!
A program to orthorectify (correcting scanning distortions) and stitch images of gridded paper maps. The expected use is to correct and join several smaller (e.g. A4) scans of out-of-copyright large paper maps for display in a GIS or on the web.
DNA Replicator is a graphical tool (written in java) that compute the complementary sequence from an input DNA sequence. It's a really easy used application.
Software Development Toolkit and Libraries to support the adoption of MIMOSA and Open O&M Initiatives. The libraries and toolkits will focus on basic implementation of DAO, XML, and Web Service tools.
A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.
This project intends to create an indexing search engine, for knowledge management. The primary object is to apply an information retrieval core. And implement a knowledge data discovery theory such as data mining algorithm, text mining.
The Cornell Tree-Ring Analysis System. A program for several aspects of dendrochronology: measuring, indexing, crossdating, graphing, summing masters, and even drawing maps of locations of sites.
Life Science Identifier (LSID) resolution protocol, to locate biologically significant data over a network, within middle-ware providing a client A.P.I. for Life Science applications, and server software, for Industry data providers.
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.