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.