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
AI-generated apps that pass security review
Stop waiting on engineering. Build production-ready internal tools with AI—on your company data, in your cloud.
Retool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
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/
PygShell (pronounced pig shell) is an interactive console for Pygame developement. It is an implementation of the Python shell using Pygame. PygShell also includes a simple text editor (also in pygame) and ships with several example scriptlets.
MilcovLib is a PHP library for CLI execution -- it supports all the typical CLI tasks, such as parameter parsing, VT100 colour output, syslog error output etc. Currently the status is pre-alpha (VT100 codes - colour and movement) -- sample code included.
A mini tool that helps java developers to use parameters (arguments) for their software. The parameters will be read with annotations help and can be loaded from console or from a specific file. I hope you will find it useful.
Widget library is a small library for writing simple console user interfaces using 'high level' widget like interfaces. It has been designed to be simple to use, extend, understand and integrate.
f2cpp is a python script to convert Fortran 77 to C++ code. The output files of f2cpp script, in contrast to the well-known f2c translator, can be easy read by human.
Component (library, framework) refactoring may affect existing applications, where the client code used previous component versions. Our tool preserves applications binary-compatible by generating an adaptation layer out of change history.
Another PHP MVC framework.
Goals are: cakephp's style, lightweight, strength javascript/ajax integration.
OO and Coded in PHP5, ready to move to PHP6.
dbo, url routing, many helpers, debugging tools, scaffolding..
A set of Java libraries for translating textual numbers (including cardinals, ordinals, etc.) between various language systems (e.g. Arabic, Indic, Chinese). Primary users will be developers of machine translation systems and curious desktop users.
Contextual java object framework, based on Annotation. Dependency Injection framework decoupled each component, but component can have different behavior in different context.
A traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.
mControlStation is an open source software for industrial and manufacturing automation. It is designed for convenient and easy-to-use describing (using multi-threaded and event-oriented XML-base language) and running of processes on embedded controllers.
A very simple and easy to use command line argument parser library for .NET C# console applications. No need to read any documentation - just look at the provided example that you can also use as a template. The library has only 4 methods.
**DISCONTINUED** BOS – B.lu operating System, is an operating system dedicated to small microcontrollers and CPUs without MMU. Actually is dedicated to Texas Instruments MSP430 microcontrollers (it can be ported to other CPUs without great changes)
A simple, quick and plug-and-play wrapper for the curses library that provides a shell-like UI. Features include customizable prompt, tab completion, command history and thread-safety (simultaneous input/output). Scotty stands for Shell CreatiOn ToolkiT.
JLink lets users author flow charts based on ISO 5807 and IBM standards. Developers can use JLink to add flowcharts to applications, serve a flow chart over the web in PDF or PNG, or dynamically create a flowchart with Javascript, Python or Ruby scripts
Nanon is a web page manager, ideal for simple sites with no server generated content. It lets you define templates and reusable html code blocks like menus and ad sections. Nanon is a spiffy command line tool that you can learn how to use in minutes.
Q3mass is a master server program for Quake III Arena engine-based games. It's easily extensible and supports multiple games. Q3mass-php, an offshoot project, is a PHP version of the application, allowing for web-based master servers.
Milk is a security source code assessment tool using Orizon as API. Milk scans java and .NET source file in order to perform a security code review trying to point out safe coding best practices misuse.