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...
Kopi provides a development environment for interactive database applications using Java, JDBC and Swing. It extends the Java language with money, date and time types, adds operator overloading and allows seamless integration of SQL.
JCppEdit is a free as well as "best IDE for Beginners" and is your one-stop IDE for all your coding needs. Whether you need to finish your Java project or submit your first HTML web page or perhaps have a need to code in C language while executing a java program into a Java IDE, JCppEdit will help you achieve your goals easily.
Exploring your project and detecting an error in your code is much easier. You will not waste time detecting errors before compiling codes because you will get a...
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.
Graal collects profiling information when interpreting Java Bytecode. This tool gives the user the ability to inspect these Graal internal datastructures easily.
Installation instructions are provided in the wiki.
KFlex is an extension to JFlex that makes it easy to generate lexers whose actions call methods of a listener interface. This simplifies parser development and makes the lexer a reusable drop-in component.
A Java library for parsing files and building Abstract Syntax Tree based on context free (CF) grammar.
Easy to use and provides fast prototyping. With grammar provided the library provides the AST of input. Command line interface is provided.
A Controlled Language Programming (CLP) compiler, runtime engine, and development IDE for writing software in a natural (but somewhat restricted) language that clearly represents the real world concerns and maps to a 3GL (Java/Groovy) for execution.
Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Ball (Baisoft All-purpose List-oriented Language) is a programming language implemented completely in Java. It comes with a graphical userinterface, and is very easy to use.
Interpretador de pseudo-código baseado no Algol e Pascal, implementado utilizando técnicas modernas como método da costura e gramática de atributos. Utiliza uma interface em Swing com suporte a syntax highlighting e verificação de erros.
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
JAXX is a powerful XML userinterface language for Java. JAXX source files compile into ordinary Java classes, making integration a snap.
JAXX features advanced data binding and event handling, and uses (fully compiled) Java as its scripting language
Netflow analyzing tools :
JXColl - collector for Netflow (or XML specified) data
Analyzer - front-end application for providing an userinterface and output (graphs, statistics, etc.)
OpenL implements Java-like languages allowing to use code snippets placed in Excel, XML, or DB. OpenL is a foundation for OpenRules http://openrules.com. Maintained from http://openl.org
TransJVM is a Java package to assist compiler writers targeting the Java Virtual Machine. It provides a simple logical interface for creating JVM classes, expressed in terms of Methods, Fields, Statements and Expressions. JVM details are hidden.
JTL is a compiler for Java extended with traits. Traits are lightweight entities that serve as primitive units of code reuse. A trait is similar to an interface, but can contain method implementations.
A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based userinterface engine
Flow4J is a java framework, that enables the user to model process flow with a gui interface. The flow may include tasks, decisions or calls to other process flows. The saved flow is in a jar file together with its bytecode.
Freefactor is a Java refactoring framework. It consists of a tool-independent refactoring system and an interface to allow it to be integrated with other tools. Currently a prototype Java-based tool is provided as well as bindings for Emacs.