New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Claim $300 Free
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
The Java Aspect Metamodel Interpreter (JAMI) is a research framework for modeling and experimenting with aspect-oriented programming languages. Common language design concepts and their operational semantics are modeled, and can be run by an interpre
JSequencer is a development tool which autogenerates Sequence diagrams. It's ideal for design and debugging. Wire it with Spring and you can produce Sequence Diagrams without writing any code! The produced output can be viewed using SequencerUI(included
A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Open Source Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
The aim of this project is to to provide a set of interrelated modeling languages that can be used to model businesses and their related entities. The language will covers aspects such as business process, organizational structure, and business entities
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.
Simple UML modeling tool geared towards the beginning object-orientation learner. Can be used in an academic setting to teach UML diagrams. Java code generation from Class diagram is supported.
SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.
Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.
A software system will reasonable change its state during runtime. We call this system behavior, which can be described with UML2 state charts. The aim of Talante is to provide a code generator and a runtime platform to make UML2 state charts executable.
Yet Another Component Meta Model Framework. Similar to the Java reflection API, but generic so it can be used with different implementations, and then be used by various Services like Editors, Constraint-Checkers, Bindings, Persistence, and Transaction.
JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.
Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.
A WYSIWYG database modeling tool based on eclipse,it can generate code for hibernate,ojb,ibatis,openJpa.The supported platform includes oracel,db2,mysql,mssql,sybase,derby,MaxDB,SapDB,PostgreSql,HsqlDB and the databases which has JDBC driver.