libapi-gitforge-perl

generic interface to APIs of sites like GitHub, GitLab etc.

A git forge is a site like GitHub, GitLab etc. API::GitForge provides access to some operations which one might wish to perform against any git forge, wrapping the details of the APIs of particular forges. An example of such an operation is forking a repository into the user's own namespace.

python3-srsly

modern high-performance serialization utilities for Python3

Serialization is hard, especially across Python versions and multiple platforms. After dealing with many subtle bugs over the years (encodings, locales, large files) libraries like spaCy and Prodigy have steadily grown a number of utility functions to wrap the multiple serialization formats that are need to support (especially json, msgpack and pickle). To avoid duplication these functions were put in one place.

libknet1t64

kronosnet core switching implementation

Kronosnet, often referred to as knet, is a network abstraction layer designed for High Availability use cases, where redundancy, security, fault tolerance and fast fail-over are the core requirements of your application.

libcoq-aac-tactics

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

ruby-oj-introspect

Oj introspect parser.

Embeds start and end byte offsets of JSON objects into generated Ruby hashes.

efm-langserver

General purpose Language Server (program)

General purpose Language Server that can use specified error message format generated from specified command. This is useful for editing code with linter.