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 in Free Credit Towards Top Cloud Services
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.
Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.
IvmaiAsn ASN1/ECN/XDR Tools. A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encodings.
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
JAC (Java Asn1 Compiler) is a tool for you if you want to (1)parse your asn1 file (2)create .java classes and (3)encode/decode instances of your classes. Just forget all asn1 byte streams, and take the advantage of OOP! BER, CER and DER are all supported
Tool for managing patch codes for the Nintendo Wii. Formats this tool handles are common to Gecko OS and popular Wii homebrew software. This is one of very few complete cross-platform GCT compilers and the only known GCT decompiler and merge tool.
allspice is a set of java libraries that allow you to easily create (or extend) programming languages that run on top of the JVM for seamless integration with java. Code written in one language is indistinguishable from another.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
XIPL/XASM is a basic environment to build high-level Image Processing operations using a XML-based language. The idea is to compile the high-level XIPL language into a low-level one, XASM (XML-based too), using XSLT technology.
Tepal was originally going to become an uber OO language, but during my tinkering I feel that it would be more appropriate for Tepal to become more of a meta language, allowing you to describe common development tasks in a simplified and common way.
openASN.1 is an Open Source Java toolkit for the Abstract Syntax Notation One (ASN.1) which consists of a compiler and codec with a low footprint runtime library.
upl:"universal programing language" is a platform that help new comers and children to learn programming.
this platform helps to create programing languages for all languages and all purposes.
eventually the languages are translated to java.
JDasm is a library written in java to easily manipulate Java class files. It gives you the ability to load a class file and modify it or write a new one from scratch; you can inspect it, edit or export any part of the class file and import it into anothe
Tako is a direct programming language with Java-like syntax. Direct languages avoid routine aliasing and allow programmers to view all variables directly as independent objects, simplifying both formal and informal reasoning.
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
JSmooth creates standard Windows executable files (.exe) that smartly launch java applications. It makes java deployment much smoother and user-friendly, as it is able to find and run Java VMs by itself, or help the user get one if none are available.
The project tries to extend the basic Hotswap support in the current JVM and allows developers to add/remove instance fields and methods and replace the new class in a running JVM, thus saving huge time incurred in restarting the JVM for every change.
To some, the Java and C++ languages appear deceptively similar. The goal of this is project is to examine these two popular object-oriented languages and generate a Java to C++ translator.
Data Manipulator is a pure Java GUI interface for SQL databases. Not only an administrative tool, but one that allows a user to create forms and reports. Additionally A Java programmer can use code with Forms, reports a stand alone to manipulate the data
Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.
Master students group of Federal University of Pernambuco working together to define and to develop an object-oriented language project based on java language as meta language.