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.