postgresql-15-extra-window-functions

Extra Window Functions for PostgreSQL

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.

libnats3.4

C client for the NATS messaging system

NATS messaging enables the exchange of data that is segmented into messages among computer applications and services. These messages are addressed by subjects and do not depend on network location. This provides an abstraction layer between the application or service and the underlying physical network. Data is encoded and framed as a message and sent by a publisher. The message is received, decoded, and processed by one or more subscribers.

node-fast-safe-stringify

Safely and quickly serialize JavaScript objects

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

libhtml-query-perl

HTML::Tree add-on to allow jQuery-like queries on HTML::Element trees

The HTML::Query module is an add-on for the HTML::Tree module set. It provides a simple way to select one or more elements from a tree using a query syntax inspired by jQuery. This selector syntax will be reassuringly familiar to anyone who has ever written a CSS selector.

golang-1.19-src

Go programming language - source files

The Go programming language is an open source project to make programmers more productive. Go is expressive, concise, clean, and efficient. Its concurrency mechanisms make it easy to write programs that get the most out of multicore and networked machines, while its novel type system enables flexible and modular program construction. Go compiles quickly to machine code yet has the convenience of garbage collection and the power of run-time reflection. It's a fast, statically typed, compiled language that feels like a dynamically typed, interpreted language.

libcoq-mtac2

Mtac2 tactic language for Coq

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