Packages tagged folding
2 packages have this tag.
[Merge tag] (trustees only)Related tags: library (2), algorithm (1), bsd3 (1), fold (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| deferred-folds | 226 | 0.0 | 14 | Abstractions over deferred folds | (fold, folding, library, mit) | 2023-10-13 | 0.9.18.5 | NikitaVolkov |
| mealy | 30 | 0.0 | 3 | Mealy machines for processing time-series and ordered data. | (algorithm, bsd3, folding, library) | 2023-08-23 | 0.4.4 | tonyday567 |