Packages tagged vinyl

4 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (4), bsd3 (2), mit (2), composite (1), graphs (1), modelling (1), polysemy (1), polysemy-vinyl-composite (1), types (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
conic-graphs10.0Vinyl-style extensible graphs. (bsd3, graphs, library, vinyl)2021-09-08locallycompact
fcf-vinyl50.0Vinyl compatibility with first-class-families (bsd3, library, types, vinyl)2021-09-08locallycompact
polysemy-methodology-composite10.0Functions for using polysemy-methodology with composite. (composite, library, mit, modelling, polysemy, polysemy-vinyl-composite, vinyl)2020-11-14locallycompact
vinyl-loeb110.0Loeb's theorem for extensible records. (library, mit, vinyl)2020-12-07locallycompact