New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
MongoDB Atlas runs apps anywhere
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.
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
SUBLEQ is a machine language in which there are no opcodes, the only operation available is substract and branch if negative or zero. This project offers a virtual machine for SUBLEQ programs. The included compiler allows you to write SUBLEQ more easy.
Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
JOELib/JOELib2 is a cheminformatics library which supports SMARTS substructure search, descriptor calculation, processing/filtering pipes, conversion of file formats, 100% pure Java, and interfaces to external programs (e.g. Ghemical) are available.
Provide PHP to support AD,Domino,E-Directory,LDAP SSO
PLDAP provides a universal LDAP connector; which supports Microsoft AD, IBM Domino, Novell E-Directory, and Open LDAP. It enables PHP programs to implement comprehensive LDAP Single-Sign-On systems.
SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.
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.
A Java IDE designed for beginners, with an emphasis on simplicity. One unusual feature is that the IDE scans compiled programs for common beginner errors that typically lead to errors or poor coding style.
JPL News is going to be a full featured Content Management Service written in PHP and utilizing Zend Framework. There will be support for unlimited catagories, archiving, RSS/ATOM Feeds, bi-directional RESTful API, User Management System and many more.
PGUIRobot is a very easy to use automated tool for functional and GUI testing Java programs, which can also be used for making canned demonstrations by event and screen capture.
Framework for developing PHP applications easy and fast, mainly web/html, but can be used also for command line programs. It's based in MVC2 model (some ideas came from Struts), but quite more easy to implement and extend. Loaded with lots of libraries.
Aqueduct is a simple state machine library written in Java. Some programs can be described naturally as a state machine or a flowchart; this library is intended to simplify the development of such programs.
Alternative approach to minimum redundancy coding (fixed-length) without using tree data structures. The main advantages are simplicity and flexibility.
This will be to bring a GUI (Graphical User Interface) to the Java Pathfinder (JPF) so that developers can easily have JPF run through their programs and search for possible runtime exceptions in their java programs.
JTL is powerful yet intuitive query language over Java programs. Using JTL one can easily formulate sophisticated conditions for looking up classes methods or fields in Java programs.
XVCL is a general-purpose language for configuring variants in all sorts of textual documents (including programs). It is based on frame technology. XVCL processor automates the customization process to produce system from specification of variants.
Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.
PyMetrics produces metrics for Python programs. Metrics include McCabe's Cyclomatic Complexity metric, LoC, %Comments, etc. Users can also define their own metrics using data from PyMetrics. PyMetrics optionally outputs stdout, SQL command files and CSV
CUBA is a small framework for the development of component-based systems which can be run as EJB applications, AXIS web services or stand-alone J2SE programs. The component and programming model is similar to EJB session beans.
Open Legacy Storage Document: Generic Document Archiving on Disk and Network(using MINA) Framework in Java for huge number of docs(up to 2^192 documents), efficient(Java NIO), crypto, net transfert, web retrieve, J2EE and eMail archiving compatible.
Buoy is a library for creating user interfaces in Java programs. It is built on top of Swing, but provides completely new classes to represent UI components. Its advantages include a simpler API, a more powerful event handling mechanism, and much more.
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/