This plugin for Claws Mail warns the user with a popup window if some predefined keyword is found in the composed mail text.

Hammer is a tool to help in the search of a proof in Coq. It tries to find applicable lemmas and combine them into a effective proof.

This is the GNU Objective-C++ compiler, which compiles Objective-C++ on platforms supported by the gcc compiler.

This library contains Python CFFI bindings for the reference Brotli encoder/decoder, https://github.com/google/brotli . This allows Python software to use the Brotli compression algorithm directly from Python code.

A library that provides Sidekiq integration for the Sentry error logger. Sentry provides real-time crash reporting for web apps, mobile apps, and games.

BLIS is a portable software framework for instantiating high-performance BLAS-like dense linear algebra libraries. The framework was designed to isolate essential kernels of computation that, when optimized, immediately enable optimized implementations of most of its commonly used and computationally intensive operations. BLIS is written in ISO C99 and available under a new/modified/3-clause BSD license. While BLIS exports a new BLAS-like API, it also includes a BLAS compatibility layer which gives application developers access to BLIS implementations via traditional BLAS routine calls. An object-based API is also available for more experienced users.