Awesome Programs/Packages

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.

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. Original Features - Single player campaign - All diseases, objects, rooms are available (see below section for outstanding anomalies) - All events (emergencies, earthquakes, epidemics, VIP visits) - Management windows (managing staff, patients, policies etc.) - Music/Jukebox and gameplay videos (see below section for outstanding anomalies) - Cheats (naughty!) New Features - Custom levels and campaigns - Full HD support - Zooming - Make your own maps and levels - Unlimited saves and 12 autosave slots - Play your own music! - Option to remove destroyed rooms for a fee - Improved game logic - Full control over all hotkeys

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.

Sound Blaster Command provides you with various configuration options to enhance the performance of your product and personalize your audio settings.

OBD Auto Doctor provides car diagnostics for everyone by using an Onboard Diagnostics (OBD2) adapter (need to be bought separately) connected to any car (made since 1996).

CrowdSec Agent for Windows

Crowdsec bouncer for the Windows Firewall

A binary Usenet client for the Microsoft Windows operating system

A HDD/SSD utility software which supports a part of USB, Intel RAID and NVMe. This is CrystalDiskInfo with Kurei Kei Theme.

A HDD/SSD utility software which supports a part of USB, Intel RAID and NVMe. This is CrystalDiskInfo with Shizuku Theme.

A simple disk benchmark software. This is CrystalDiskMark with Shizuku Theme.

- Thorough removal of unwanted apps - Real-time installation monitor - Control apps that run at system startup - Portable, multilingual and beautifully designed

Crystal is a general-purpose, object-oriented programming language. With syntax inspired by Ruby, it’s a compiled language with static type-checking. Types are resolved by an advanced type inference algorithm.

InternetOff is a free tool that allows you to quickly turn off\on your internet connection from the system tray. Why it's needed The main and inherent problem with always being online is that you are too connected. Twitter, Facebook, YouTube video, answering email or IM message... And again from the start of the list. You only react on those "incoming" things instead of act. When you go offline all those distractions disappear. There's no Twitter. No chat. No web. Only you and your tasks. Since you cannot consume you have to create so that something happens. InternetOff allows you to quickly turn off the internet so that you can go offline. When you need the connection, you can enable the internet easily for some period (and it will be automatically turned off) or permanently in just two clicks. Besides the program lets you password protect and schedule access to the internet.