This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.

This is the GNU Modula-2 compiler for the sparc64-linux-gnu architecture, which compiles Modula-2 on platforms supported by gcc. It uses the gcc backend to generate optimised code.

This extension provides additional window functions to PostgreSQL. Some of them provide SQL Standard functionality but without the SQL Standard grammar, others extend on the SQL Standard, and still others are novel and hopefully useful to someone.

Provides convenience functions for advanced linear algebra with tensors and computation with data sets of tensors on a higher level abstraction. It includes Einstein and Riemann summing conventions, dragging, co- and contravariate indices, parallel computations on sequences of tensors.

Safe and fast serialization alternative to [JSON.stringify][].

Notus Scanner detects vulnerable products in a system environment. The scanning method is to evaluate internal system information. It does this very fast and even detects currently inactive products because it does not need to interact with each of the products.