MongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
Start Free
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Application for searching classpath dependencies of source code. Sometimes you do not know, which common libraries you need to compile existing java source code including transitive dependencies.
I-Java is an extension of Java for implementing "incomplete objects" and "object composition". I-Java implements a preprocessor that produces standard Java code.
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
UfakPython is a small subset of Python programming language, for small embedded devices, like PICs. UfakPython sources are translated to C by UfakPython Compiler. Small Device C Compiler can then compile the C outputs to the target device's codes.
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
ObjectScript is a general purpose object-oriented programming language. It is designed to be simple to learn, easy to use, yet still powerful, combining the convenience of an interactive interpreter with many of the features of Java
All-in-one security tool helps you prevent ransomware and breaches.
SIEM + Detection and Response for IT Teams
Blumira’s detection and response platform enables faster resolution of threats to help you stop ransomware attacks and prevent data breaches. We surface real threats, providing meaningful findings so you know what to prioritize. With our 3-step rapid response, you can automatically block known threats, use our playbooks for easy remediation, or contact our security team for additional guidance. Our responsive security team helps with onboarding, triage and ongoing consultations to continuously help your organization improve your security coverage.
Ball (Baisoft All-purpose List-oriented Language) is a programming language implemented completely in Java. It comes with a graphical user interface, and is very easy to use.
The Version Checker Tool traverses the given folder or directory and groups the found classes by java major and minor version. It helps to identify and resolve the java run time compatibility issues with class and jar files.
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.
Implementation of Plexus Compiler API for OpenJFX "javafxc" compiler (tool which compiles JavaFX code to JVM classes). Plugable to Maven2 Compiler Plugin.
Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.
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.
Jabaco is a simple Visual Basic like programming language for the Java Virtual Machine. A comfortable development environment will support you in your tasks. Visit the Webcast and see Jabaco in action: http://www.jabaco.org/webcast.html
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)
ParGeL is an LALR(k) parser generator, which allows creation of inheritable parsers in runtime and compile time environments. ParGeL is written 100% in Java.
A Java bytecode weaver that enables you to take advantage of the new 1.5 language features in your source code, while still retaining compatibility with 1.4 virtual machines.
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
Clojure is a dynamic programming language for the JVM. Note - current Clojure development has moved to Google code: http://code.google.com/p/clojure/ Project web site: http://clojure.org
An architecture description language (DiaSpec) supports the description of components of a given distributed computing area. From these descriptions, DiaGen generates a dedicated programming framework to support distributed application development.