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.
Start Free
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
This is a dynamic slicing tool for Java programs. The tool modifies the Kaffe virtual machine to collect the execution trace, and compress the trace on-the-fly. Please proceed to the tool's website http://jslice.sourceforge.net/ for download.
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.
MARIE is a robotic development and integration environment focused on software reusability and exploitation of already available APIs and middlewares used in robotics. Its main purpose is to create a rapid-prototyping approach to robotics developments.
This project is a suite of plugins to easily integrate Java2D, SVG and JAI capabilities into Eclipse or standalone SWT applications.
Since 2.0.0: use Java2D inside GEF /draw2d!
The Batik and JAI plugins can also be used by other plugins.
NTW is a cross-platform client/server protocol and widget toolkit that allows efficient remote operation, even over slow networks. Its goal is to be able to serve hundreds of remote clients with a single inexpensive server.
CxTest is a JUnit/cppUnit/xUnit-like unit test framework for C. It is extremely portable since it doesn't depend on RTTI, exception handling or any libraries (including standard ones)
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
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.
Python for Maemo project main objective is to turn in Python programming language as the default scripting language for Maemo Platform providing full integration for developers.
OpComm - The Operational Communicator - a IM/collaboration software which should help developers do realtime design and development collaboration even being in distant places of the world, or game players to communicate efficiently during a network game.
Uniwin, an intelligent way doing remote development. It is a toolset to make Eclipse/CDT & other IDEs remote development environments of compiling and debugging UNIX programs. With it, Eclipse runs on Windows, but compiles and debugs applications on UNIX
Tas is a multi-platform multi-lingual assembler for the Freescale eTPU intelligent timer module. The assembler has a C compatible pre-processor for easy integration with host CPU code. The assembler also supports the original TPU module.
Name of Project: ShabdaShilpa OS : Linux License : GPL Language : C++ based on Qt Description : An Editor Which can translate English words to Kannada This Editor has the Capabilit
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs
XASM and XOCL consolidate the mathematical language ASM and imperative extensions to the OMG standard OCL.
In XOCL we now have update annotations, which allow to create with OCL one set of updates.
We consequently will create a prototype of XASM as a language that allows to calculate XASM Style fix points over updates.
It will have the same language design as the original XASM by Matthias Anlauff
Kool Object-oriented Game Engine aims to be the best free 2D game engine & RAD available. The RAD eases game development for good artists with little programming skills. The engine is written in C and SDL, while RAD is in Gambas. See further in home page
Libhufu is a library for generating of toolkit independent scriptable forms from xml description. The main package contains the main library in addition to a lua scripting interface and a gtk widget. Qufu is a qt widget.
Project Name : Xinput (Unicode Based Indian Language Input on GNU/LInux) Programming Languages : C/C++,Xlib Library,Qt library Platform : GNU/Linux X environment Purpose : To Support Unicode input for Indian Languages
E2HC08 is a free development enviroment for Freescale Semiconductor ( Motorola's company ) 68HC08 microcontroler on GNU/Linux. It has been written in C and features towards a Integrated Development Environment (IDE) and future integration with another f
This project enables a transparent integration of C/C++ and Java (and other languages such as C#, php...) in Eclipse. The project includes JQuantlib. sKWash makes use of swig. See home page for more info.
Interactive C is a stripped down version of the C language, primarily used for robotics projects. It supports various small-scale robotics boards, with a plug-in system for development for new boards.
A service-oriented, single-source, Java integration server with virtual Service Stores(TM) that expose services via web services, HTTP and more. Service Flows provide process automation. Mainframe, database, email, web, soap & ftp adapters are included.