ECLiPSe is an open-source software system for the cost-effective development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also ideal for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It contains several constraint solver libraries, a high-level modelling and control language, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.

ECLiPSe is an open-source software system for the cost-effective development and deployment of constraint programming applications, e.g. in the areas of planning, scheduling, resource allocation, timetabling, transport etc. It is also ideal for teaching most aspects of combinatorial problem solving, e.g. problem modelling, constraint programming, mathematical programming, and search techniques. It contains several constraint solver libraries, a high-level modelling and control language, interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.

ConnectWise Manage is an award-winning PSA that connects your entire operation through a single pane of glass, providing clarity for what’s happening (or not) in your business.

Contasimple is the leading invoicing, accounting and taxes application to manage your company on the cloud

A GUI wrapper for a hacked up wrapper for a full reimplementation of the restore of a firmware to a device, which allows manually specifying SEP and Baseband for restoring, written in Java with Swing.

https://github.com/yourmoln/moligeek/blob/main/README.md

A user-frandly translation tool for PDF reading. It automaticly removes line breaks from the text you copied and then display the translation result.

The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.

The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.

WinZip Compression Utility

A node.js version management utility for Windows. Ironically written in Go.

Toontown: Corporate Clash is a completely free to play massively multiplayer online game designed to be the new experience of a game many of us loved.

iCUE’s single intuitive interface links together supported CORSAIR products, allowing you to quickly and easily fine-tune your settings. Supported CORSAIR keyboards and mice are fully programmable with macros or key remaps, letting you specify a button or click to do anything from instant shortcuts to complex strings of commands. iCUE’s robust level of customization helps you create, write, and play faster and more efficiently.

iCUE’s single intuitive interface links together supported CORSAIR products, allowing you to quickly and easily fine-tune your settings. Supported CORSAIR keyboards and mice are fully programmable with macros or key remaps, letting you specify a button or click to do anything from instant shortcuts to complex strings of commands. iCUE’s robust level of customization helps you create, write, and play faster and more efficiently.

A reimplementation of the 1997 Bullfrog business sim Theme Hospital. As well as faithfully recreating the original, CorsixTH adds support for modern operating systems (Windows, macOS, Linux and BSD), high resolutions and much more.

Lepton is a lean code snippet manager powered by GitHub Gist.

The Community Edition (CE) is best for noncommercial developers where basic availability, performance, scale, tooling, security capabilities and community support is sufficient. CE comes free and there are no constraints on using these binaries in production systems. However, CE is not subjected to the iterative test, fix, and verify quality assurance cycle that is a part of the Enterprise Edition release process. The release version of CE is several months behind EE. CE also does not include the latest bug fixes. Documentation, mailing lists, and forums provide support for the Couchbase user community to help troubleshoot issues and answer questions. CE comes with limited concurrency and parallelism and supports a maximum of 4 cores per node.

The Enterprise edition (EE) represents the latest, most stable, production-ready release of Couchbase Server. We recommend the Enterprise Edition binaries for commercial production systems running Couchbase Server. The Enterprise Edition contains some unique features that make it the best fit for production deployments running in data centers or a public cloud infrastructure. Use of EE in development and test environments is free. EE requires a paid subscription for production use. Our paid annual subscriptions for EE include a commercial license, better availability capabilities, enhanced security features, advanced tooling and higher performance and scale. It also includes technical support with service level commitments via our 24x7 support organization and hot fixes for releases. One important principle for CE and EE is to ensure full portability of applications between two editions. The capabilities ensure that an application running on EE should simply transition to CE without code changes and visa versa.

Advanced log message viewer for log4net, log4j and others

Cozy Drive for Desktop allows you to synchronize the files stored in your Cozy with your laptop and/or desktop computer. It replicates your files on your hard drive and apply changes you made on them on other synced devices and on your online Cozy.

Cozy Drive for Desktop allows you to synchronize the files stored in your Cozy with your laptop and/or desktop computer. It replicates your files on your hard drive and apply changes you made on them on other synced devices and on your online Cozy.

Cppcheck is a static analysis tool for C/C++ code. Unlike C/C++ compilers and many other analysis tools it does not detect syntax errors in the code. Cppcheck primarily detects the types of bugs that the compilers normally do not detect. The goal is to detect only real errors in the code (i.e. have zero false positives).

Installer for Crazybump.

Creative app provides you with various configuration and control options to enhance the performance of your product and personalize your audio settings.