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.