Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Start Free Trial
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
NaughtySVN is an easy-to-use GUI based Subversion client which works as an extension to the Nautilus File Manager. The aim of this project is to help users who are not technically oriented to use Subversion.
pyvix is a Python wrapper for the VMWare(R) VIX C API that allows Python to programmatically control VMWare(R) virtual machines. Example operations include: powering on; suspending; creating, reverting to, and removing snapshots; and running programs.
RyC Unit Testing is a simple set of Ruby scripts designed to facilitate the use of Unit Testing with the C programming Language. It does all the hard work for you so you can focus on refining your code.
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.
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)
Javelina is an advanced code coverage tool that uses dynamic instrumentation to minimize the overhead for collecting coverage data. Additionally, Javelina allows the application of logical operations to code coverage data.
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.
This project has been renamed "pycopia", and extended. This is no longer maintained. Pycopia is hosted at Google code hosting. Please go to: http://code.google.com/p/pycopia/
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
LMY image codec and tools for small, 16-bit (or higher) displays on devices with limited resources. Image file size and quality rival GIF, PNG, and JPEG, but decompression is much less complex. Used commercially by Lower Mars. C/C++ and Java/j2ME include
System monitoring utility, written in plain C. Allows application execution and performance monitoring, saving results into XML files. Monitors CPU, memory, network and disk usage on a per-application or per-system basis.
A program for syntactically correct sentence generation. Guided by a Bison grammar file as input, it provides random or coverage testing sentences. The program can be used for compiler or parser testing or didactical purposes.
Open source VISA complient (Virtual Instrument Software Architecture) library written in C for Linux/Unix operating systems to control instruments through Serial, GPIB... It will use the linux-gpib project to access the GPIB boards.
ucmi (Unified Change Management Interface) provides an abstraction layer, in the style of the Unified Change Management model, to version control tools and defect tracking systems.
QJ-Pro is a sophisticated code quality assessment and coding standards technology for Java development detecting potential software defects at compile time. It offers the ability to significantly reduce code review effort by automating a major portion of
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)
SDCC-M08 is a Freeware, retargettable, optimizing ANSI - C compiler. New port for Motorola 68HC08/68HC908 processor family, a side branch of the original SDCC. It generates RAM sparing reentrant code, different from root SDCC. Distributed under GPL.
Scientific Literate Programming using LaTeX, like tgrind but with high level comments.
In other words, a source code fontifier for literate (real) programmers using LaTeX comments.