Build VMs, containers, AI, databases, storage—all in one place.
Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
Get Started
MongoDB Atlas runs apps anywhere
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.
An implementation of the language described in "Karel the Robot: A Gentle Introduction to The Art of Programming" by Richard Pattis et al. Both Java and C/Unix versions are available.
DL was designed to be a pure data language, built on very simple constructs, and internally representing typed values rather than depending on external schemas to infer type values.
The goal of this project is provide a OpenSource (LGPL) implementation of the
Trac 2001 programming language. Please visit the TRAC Foundation website at http://www.tracfoundation.org/ for additional information.
Code translation utility to convert Php website code into a Java/J2EE JSP equivalent code. Conversion application is written in Java. Utilizes Antlr to translate between the languages.
Unlimited organizations, 3 enterprise SSO connections, role-based access control, and pro MFA included. Dev and prod tenants out of the box.
Auth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
The E language is an open-source object-oriented langauge for secure
distributed computation. We are currently hosted on our own sourceforge setup at: http://bugs.sieve.net/projects/e-lang
A small, efficient and reliable java virtual machine aimed at portable devices (but also runnable on desktop computers), initially written by Rick Wild of Wabasoft. This account is for the development of the VM core and the associated core java packages.
The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj
Leafpile is a Z-code interpreter, a Java implementation of the Z-machine virtual machine used for running Infocom/Inform interactive fiction story files. Leafpile seeks complete compliance with the Z-machine Standards Document 1.0.
A Java based simulator for the LC-3 16bit processor used in several CSS classes.
(specifically in the book "Introduction to Computing Systems: From Bits and Gates to C and Beyond" (2nd Ed)
Moved to GitHub
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.
The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors.
...