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
Earn up to 16% annual interest with Nexo.
More flexibility. More control.
Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
C4J is a simple, powerful and non-intrusive tool that makes it easy to add contract verification of instances and methods of any Java class or interface, with full inheritance support. C4J brings Design By Contract to Java.
Structs and Nodes Development for Java. An alternative approach to enterprise-class software development using a message oriented execution model and code generation. Deploys to servlet container + db environment.
Objetivo de disseminar conhecimentos das diversas áreas de saber que envolvem o desenvolvimento de jogos independente de plataforma. The objective to spread diverse knowledge of areas to know that to involve the independent development of platform games
The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.
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.
The Squidy Interaction Library eases the design of "post-WIMP" user interfaces by unifying various device drivers, frameworks and tracking toolkits in a common library and provides a central and easy-to-use visual design environment. www.squidy-lib.de
A framework for transferring implicit or tacit knowledge between members of a community. It works by observing the behavior of community members, and providing them with suggestions from other community members based on their past behavior.
This project is a software and a framework implementing a formal specification generation approach. The tool supports the theory on formal modeling, automated composition and formal verification of system specifications.
CodaServer is a database that makes building business applications easy. It uses a SQL-like language that lets you describe your workflow and business processes, and uses this information to enforce your business rules and guarantee data integrity.
Monotooth is a library for Mono developers to use bluetooth in their projects with ease. Initial alpha release will include support for bluez. Windows support will be included in the future.
MultiJADS is a domain independent multiagent active design documents shell. It uses multiagent technology to support activities in concurrent and distributed design systems and is based on the Active Design Documents (ADD) approach.
This is a modeling tool generating code from activity diagrams. The main goal is to achieve a good code generation. I would like to have different possibilities like HTML mapping from diagrams and Java code generation (maybe others) chosen by the user.
This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.
Esession supplies an abstract layer for user session management with logging support. It could work both in stand-alone mode, and bound to http sessions. The solution for the log storage could either be in memory or in database.And there's a GUI monitor
aSVERD is a little system for generating Entity Relationship Diagrams (ERD) as Scalable Vector Graphics (SVG). SVG can be viewed and zoomed in a Web Browser. The diagrams can be edited with an SVG editor and round-trip updated against the database.
ECCO is a web-based IDE. In other words is an online development environment with file manager, console interface for compiling and execution of code and an editor with syntax highlighting, tabs and support for many languages and accessed with a browser
The JHyperLabel is an extension component of JLabel which is a part of Java Swing. JHyperLabel Displays hyperlink and opens internet browser on mouse click, which function that JLabel can not support so far. It is very easy to use. Enjoy it!
This is a tool,for designing html forms,or for designing work flow,in fact for anything you will express with a tablet and a pencil.It's written with html,jsp,javascript,java.Everyone is welcomed to support it.This is a beginning
Jupe is a UML Plugin for Eclipse. It provides support for the creation of UML class diagrams, Java code generation and reverse engineering. Jupe is based on the GEF and UML2 frameworks and supports Eclipse 3.2.
A lightweight and protocol-independent framework for offering generic interceptor support over Java RMI. The framework includes a set of common-purpose Interceptors, such as multicast (based on JGroups) and replication (partly based on FT-CORBA).
Drarch is a discoverer of the architecture of an implemented system tool for Eclipse plug-ins. The results are represented by Components and UCMs diagrams.
Marx Explorer project is a web file manager developed in Java, which main function is to help manage static files of an intranet or website and to integrate with other systems to help the end user to select, preview and modify an picture for a news system
RAS is the acronym for Result Assessment System. The primary purpose of RAS is helping users manage, visualize, assess and report results obtained from experimental search algorithms.