One platform to build, fine-tune, and deploy. No MLOps team required.
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Try Free
99.99% Uptime for MySQL and PostgreSQL on Google Cloud
Enterprise Plus edition delivers sub-second maintenance downtime and 2x read/write performance. Built for critical apps.
Cloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
This sourceforge site for the project is now DEPRECATED and not updated.
All current work and new releases are on github: https://github.com/OpenJML/OpenJML.
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc.
The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest
== This project has been renamed to slang-lang/slang and moved to Github. ==
ObjectiveScript is an object orientated scripting language that tries to combine the speed of scripting with an object orientated syntax similar to Java and C++. The language offers native data types like bool, double, float, int and string as well as user defined object types and a system library with data types similar to the Java boxed types like Integer and String. Collections like List, Map, etc. can be used with object and value types and can also be used as raw types (i.e. ...
The world's first evidence-oriented programming language
Quorum is a programming language designed in empirical studies with humans to be intuitive and easy to use. It is a Java Virtual Machine language with full Integrated Development and Debugger support built into the Sodbeans project. Version 4.0 includes support for graphics, 3D sound support, and Lego robotics.
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Host and run your applications without the need to manage infrastructure. Scales up from and down to zero automatically.
Cloud Run is the fastest way to deploy containerized apps. Push your code in Go, Python, Node.js, Java, or any language and Cloud Run builds and deploys it automatically. Get fast autoscaling, pay only when your code runs, and skip the infrastructure headaches. Two million requests free per month. And new customers get $300 in free credit.
Yet another scripting language
Main features:
- Pointers
- Structures
- Objectoriented programming (yet to come)
- code in plain english
- easy to learn (based on C, C++, Java, Pascal, Python, Lua)
CMakeScript is an extension to CMake, a cross-platform, open-source build system. CMakeScript adds Java Script as alternative script language to CMake's home-grown macro language. CMakeScript comes with a visual debugger for Java Script.
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.
ASTRA is an implementation of AgentSpeak(TR) that has built in support for the CArTaGo and EIS environment models. Support for conversation management is provided in the form of the ACRE conversation manager.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Unified Test and Logging layer for multiple programming languages
Modern software systems and application are commonly written in multiple languages, include scripting engines, and are frequently build on multiple specialized frameworks and middleware for a considerable diversity of runtime environments. The latest influencing update in development paradigm is the application of multicore processors. This projects is aimed to unify the required trace and logging output and integrate into debugging environments. The target is to provide general development,...
Software Studio is an Integrated Development Environment (IDE) for C#, Java, VB.Net, Aspx, C++, Html, Xml, Php, JavaScript, Tex with multi-language support,syntax higlighting,code folding,code completetion,refactoring support
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
LOLCode IDE plugin for Eclipse. LOLCode is a new humorous language designed to teach those new to programming, and to be enjoyed by the rest of us. This plugin does syntax highlighting, code folding, debugging and content assistance.
Longenis is a simple, powerful object-oriented scripting language incoporating elements of Python, Tcl, Java, and Lua. It is designed to be light, clean, elegant, and cross-platform.
jDiSeq is a recording facility for call sequences within any Java Virtual Machine. Typical usage is to generate UML (Unified Modeling Language) sequence diagrams of a running system - client or serverside.
Software Studio is an Integrated Development Environment (IDE) for C#, Java, VB.Net, Aspx, C++, Html, Xml, Php, JavaScript, Tex with multi-language support,syntax higlighting,code folding,code completetion,refactoring support
Logmine is a tool to facilitate logging to an RDBMS. Logging to a true database can make logs far more useful. While this is written in Java/JDBC, it uses a standard HTTP request, thus can be useful for any language/database.
xsldb is a fully featured xslt debugger that can easily be linked into every xslt-development environment that uses Apache XALAN or the Sun JDK implementations. xsldb is interactive, console based and offers an intuitive, easy to learn debugging language