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.
Start Free Trial
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
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.
CCompilerSuite is a complete framework to compile a rich dialect of ANSI-C onto a RISC-like assembly, with a Virtual Machine as well. It provides for minimized tree creation, partial evaluation and semantic checks. Project is in C++ and fully extensible.
A XAJAX based framework for building web applications with the functionality of desktop ones. Delphi like programming style for PHP using own engine. You define ONLY form HTML and event handlers. No java except 5-6 lines to call XAJAX. Still Joomla aware
The emerge toolkit is a state-preserved web development framework. Build your whole application in one easy place. Uses O/R Mapping on the back-end, and Comet-style sockets on the front. http://emergetk.com
Demonstration of portable C++ programing technics such as generic programming, late bind, explicit link, animation, sound, etc, using both VBLib (http://sourceforge.net/projects/vblib) and wxWidgets[wxWindows] libraries.
An applicationserver and a clientframework with an extended generic workflow engine. Workflows can easiliy be defined in a graphical manner and a "lego" principle, small "atoms" can be put together to a complete application. An E/R tool is included
Easyfreedb is a cross-platform C++ library for accessing data on a freedb server. It supports protocol level 6 (UTF-8) and uses Boost's LL parser framework for parsing. Easyfreedb has a C-wrapper to make it easy to use from other programming languages.
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.
Framework for literate programming using XML written in C++. Boost, The STL and Patterns are used extensively. All platforms which support Boost will be supported.
wyoGuide is a guide, a tutorial for developing well-designed cross-platform applications. Where possible sample code written in C++ using the wxWidgets framework is accompanied. The included demo application is well suited as a starting code base.
A dockable window framework for Fast Light Tool Kit (FLTK). FLTK Dock (pronounced "fulltick dock") provides advance, customizable toolbar and window with docking and floating functionalities for general desktop application.
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.
NUnitWeb is a DOT NET test framework for use in conjunction with NUnit. It's similiar to NUnitASP, but more complete. Javascript, ASPNET 2.0, file controls (multipart form data), and ordinary HTML are all supported.
RyC Unit Testing is a simple set of Ruby scripts designed to facilitate the use of Unit Testing with the Cprogramming Language. It does all the hard work for you so you can focus on refining your code.
LogThis C# logging framework is a drop-in logging tool module for .Net applications. Supports: Multiple custom profiles; log file naming by day, week, month; max log file size; Windows event log. Simple out of the box, intelligent presets.
The MCAScript programming language consists of a subset of C# extended by special statements from hardware programming languages. It has been developed to be used within the MCA(Modular Controller Architecture) to script to behaviour of robots.
A small virtual machine with its own minimal assembly language. Features stackdump, memdump and variable execution speed. It's actually a kind of programming exercise and has a clean coding style. Thus, it may be used for educational purposes.