libcoq-hott

Coq library for homotopy type theory

This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence.

postgresql-16-dirtyread

Read dead but unvacuumed tuples from a PostgreSQL relation

The pg_dirtyread extension provides the ability to read dead but unvacuumed rows from a PostgreSQL relation.

libgeos3.13.0

Geometry engine for Geographic Information Systems - C++ Library

GEOS provides a spatial object model and fundamental geometric functions. It implements the geometry model defined in the OpenGIS Consortium Simple Features Specification for SQL. Functions provided include:

buteo-syncfw-plugin-carddav

Buteo Synchronization Framework CardDav synchronization plugin

The Buteo Synchronization Framework relies on plugins in order to synchronize with a variety of data sources.

liblasso3t64

Library for Liberty Alliance and SAML protocols - runtime library

Lasso is an implementation of Liberty Alliance and related protocols, for network identity federations, single sign-on and other web services protocols. The main specifications implemented by the library are ID-FF, ID-WSF and SAML.

libinterfacebuilder1

Clone of the InterfaceBuilder framework - runtime library

Gorm, the GNUstep Object Relationship Modeler, is a tool to build GUI interfaces for the GNUstep system. It is a clone of the NeXTStep "Interface Builder" app.