Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform.
Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.
Red Setter is a Eclipse plug-in that allows transformations between java objects. You can drag classes from the project tree onto the mapping editor and visually map the fields from one to the other. Currently it is capable of generating Dozer mappings.
FLABot is a fault-localization and debugging tool for Eclipse plug-ins, which is based on architectural information for aproximating those regions of code where faults are most likely originated.
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.
Meta-tooling platform to speed and simplify construction of full-featured Eclipse-based language-specific IDEs. PLEASE NOTE: This project has moved to: http://www.eclipse.org/imp
ALIA Editing Tools: AEdiT provides tools for visualizing and editing bytecode and machine, and generates debugging output code. Furthermore, it provides convenience tools supporting the development approach of the ALIA4J project.
ModelPro, part of ModelDriven.org, is a provisioning engine for producing executable applications and other artifacts out of models using the Model Driven Architecture (MDA) paradigm. ModelPro is internally Model-Driven based on provisioning cartridges
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
spag4j is a code generator written in Java to produce Java code for accessing a stored procedure layer from a database. Currently it supports stored procedures written in an Oracle. It produces either an EJB3 Java layer or simple static access methods.
Dove is an integrated development environment for D programming language based on Eclipse(plgin for eclipse).It provides IDE features such as code completion, outline view, preference, debugger.
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.
ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as
ant build command and as a stand alone GUI application.
Its main goal is to provide a complete test suite for any given software under test.
A choreography programming language for concurrent systems
Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...
Open eSign allows software developers and technical parties in a company to create secure, online (web-based) forms and documents that follow a business process flow and enable legally recognized electronic signatures using digital signature technology.