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
Fully Managed MySQL, PostgreSQL, and SQL Server
Automatic backups, patching, replication, and failover. Focus on your app, not your database.
Cloud SQL handles your database ops end to end, so you can focus on your app.
Erlang/Scala IDE based on NetBeans. With syntax checking, syntax highlighting, auto-completion, pretty formatter, occurrences mark, brace matching, indentation, code folding, function navigator, go to declaration, project management, shell console.
This repository hosts a major part of The Guardian’s web application stack, historically the Play Framework–based code that serves the newspaper’s content at scale. It orchestrates rendering of articles, live blogs, and interactive pieces while integrating advertising, analytics, identity, and paywall-adjacent features. The codebase coordinates with upstream content APIs, image services, and media platforms to compose pages dynamically with caching and edge-friendly layouts.
...The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box.
This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse
Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse
AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.
DBpedia Spotlight is a tool for annotating mentions of DBpedia resources in natural language text.
The source code is now hosted on GitHub: https://github.com/dbpedia-spotlight
metaDSL provides a framework which eases creation of BNF grammars, parser generators and code generators. Executes as a Maven plugin or from the command line via a lightweight launcher powered by Maven runtime. See also: http://www.metadsl.com/
A web application that helps students learn Java. Students can submit their solutions to programming exercises and get immediate feedback through automated tests. The application is built with Scala and Lift.
Cane is a Data Manipulation Interface(DMI) based on code behaviour analysis. Cane enable developers manipulate data in the way close to natural logical. Developers can finish their job in one continuous operation supplied by Cane's chain operation
This project has been renamed to Tetris Analyzer and moved to GitHub. All code has not been moved from here to GitHub, so that's why Tetris AI is not removed.
An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte