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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
conic-graphs60.00Vinyl-style extensible graphs. (bsd3, graphs, library, vinyl)2021-09-080.0.1.0locallycompact
fcf-vinyl50.01Vinyl compatibility with first-class-families (bsd3, library, types, vinyl)2021-09-080.0.1.0locallycompact
polysemy-methodology-composite170.02Functions for using polysemy-methodology with composite. (composite, library, mit, modelling, polysemy, polysemy-vinyl-composite, vinyl)2020-11-140.1.4.0locallycompact
vinyl-loeb120.00Loeb's theorem for extensible records. (library, mit, vinyl)2020-12-070.0.1.0locallycompact