Automatic backups, patching, replication, and failover. Focus on your app, not your database.
Cloud SQL handles your database ops end to end, so you can focus on your app.
Try 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.
Command-line tool to check ADFs (Amiga Disk Files) for errors and viruses.
A binary is included for Windows users; Linux users are advised to compile the application themselves.
Might also compile under plain DOS; but BE WARNED! When you scan files already renamed by the TOSEC standard, consider that file names may become insanely long in no time.
This project provides a tool-chain for compiling C code for the SPEAR2 processor. It comprises a C compiler (GCC), an assembler/linker, a macro assembler, a basic library and a simulator.
Full-stack observability with actually useful AI | Grafana Cloud
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.
Fiona is a tool to automatically analyze the interactional behavior of a given oWFN. It provides two techniques: it checks for the controllability of the given net by computing the interactiong graph and it calculates the operating guideline for the net.
A few usefull tools for the C++ software developer. The tool named 'mstring' generates codes from the string messages like exception classes, error functions, string messages.
mk, with a C/C++ compiler & using user supplied C/C++ code, is a
tool which controls generation of executables & non-source files
of a program. mk is similar to tools such as GNU make, but exists as a header file & rules/targets are specified using C/C++
DSQL ("Dynamic" SQL) is a scripting language for SQL, aka Perl for JDBC. It allows rapid development of code to perform database programming, data warehousing and import/export from databases, XML, Excel, etc.
Davtool is a command line style tool which can perform WebDAV methods. We can use davtool for WebDAV batch work. It is similar to wget. While wget can perform only the GET method, Davtool can perform all WebDAV methods.
Another SiteCOPY (ascopy) is a command-line tool to maintain remote copies of websites and is completely written in Bash, so no compilation required and very portable.
Schedule Tool is a utility for predicting the duration of projects from a series estimated task times. This tool converts the estimates to probabilities of success, and convolves successive tasks to give an estimated date of completion.
NWBal is a command line tool for viewing your Natwest on-line banking balance and mini statements for all your accounts. It includes an email reporting facility for daily reports will soon have graphing capability for viewing historical data.
Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.
Camelia is an IDE for OCaml designed with students and new users in mind. It sports syntax highlighting, tool-tip type checking, clickable error explanations, an integrated debugger, and more.
A verification library accompanied by a simple tool for verification of credit-cards, social security-numbers and other mod(10) and similar checksums in a standard shell-environment from the command-line or as a function. No compilation required.
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
Grab this to try your hand at developing a tool for Allura. Currently supports:
- python package setup
- simple per-project-installable Tool
- simple Ming/MongoDB model
- simple TurboGears Controllers
- simple Jinja templates