AIGER is a format, library and set of utilities for AIGs. The focus is on conversion utilities and a generic reader and writer API.

PETSc, pronounced PET-see (the S is silent), is a suite of data structures and routines for the scalable (parallel) solution of scientific applications modeled by partial differential equations.

ARPACK-NG is a collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.

This package allows Synapse to use LDAP as a password provider. This lets users log in to Synapse with their username and password from an LDAP server.

This package contains code used by Synapse, Sydent, and Sygnal.

This package implements a storage provider for Synapse, enabling it to fetch and store media in Amazon S3.

This package provides a Matrix<->WhatsApp puppeting bridge based on whatsmeow.

Synapse is a reference "homeserver" implementation of Matrix from the core development team at matrix.org, written in Python/Twisted. It is intended to showcase the concept of Matrix and let folks see the spec in the context of a codebase and let you run your own homeserver and generally help bootstrap the ecosystem.

Pantalaimon is an end-to-end encryption aware Matrix reverse proxy daemon. Pantalaimon acts as a good man in the middle that handles the encryption for you. Messages are transparently encrypted and decrypted for clients inside of pantalaimon.

This package provides client-server SDK for Matrix.

Matrix nio is a multilayered Matrix client library. The underlying base layer doesn't do any network IO on its own, but on top of that is a full fledged batteries-included asyncio layer using aiohttp.

This package provides a simple but convenient Command Line Interface-based Matrix client app for sending and receiving.

Apache Maven is a software project management and comprehension tool. This package contains the Maven Artifact classes, providing the Artifact interface, with its DefaultArtifact implementation. The jar file is executable and provides a little tool to display how Maven parses and compares versions:

Surefire is a test framework project. This is the aggregator POM in Apache Maven Surefire project.

This package contains the service provider interface (SPI) for repository system implementations and repository connectors.

This package contains a collection of utility classes to ease usage of the repository system.

Apache Maven is a software project management and comprehension tool. This package contains the effective model builder, with profile activation, inheritance, interpolation, …

Apache Maven is a software project management and comprehension tool. This package contains strictly the model for Maven settings, that is simply plain java objects.

This package contains the service provider interface (SPI) for repository system implementations and repository connectors.

This package contains the service provider interface (SPI) for repository system implementations and repository connectors.

This package contains a transport implementation based on HTTP, for use in Maven.

Apache Maven is a software project management and comprehension tool. This package contains the Maven Artifact classes, providing the Artifact interface, with its DefaultArtifact implementation. The jar file is executable and provides a little tool to display how Maven parses and compares versions:

Doxia is a content generation framework that provides powerful techniques for generating static and dynamic content, supporting a variety of markup languages.

This package contains Doxia core classes and interfaces.

Apache Maven is a software project management and comprehension tool. This package contains strictly the API for plugins -- composed of goals implemented by Mojos -- development.

A plugin is described in a META-INF/maven/plugin.xml plugin descriptor, generally generated from plugin sources using maven-plugin-plugin.