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-graphs | 6 | 0.0 | 0 | Vinyl-style extensible graphs. | (bsd3, graphs, library, vinyl) | 2021-09-08 | 0.0.1.0 | locallycompact |
fcf-vinyl | 5 | 0.0 | 1 | Vinyl compatibility with first-class-families | (bsd3, library, types, vinyl) | 2021-09-08 | 0.0.1.0 | locallycompact |
polysemy-methodology-composite | 17 | 0.0 | 2 | Functions for using polysemy-methodology with composite. | (composite, library, mit, modelling, polysemy, polysemy-vinyl-composite, vinyl) | 2020-11-14 | 0.1.4.0 | locallycompact |
vinyl-loeb | 12 | 0.0 | 0 | Loeb's theorem for extensible records. | (library, mit, vinyl) | 2020-12-07 | 0.0.1.0 | locallycompact |