jonascarpay / convolutedLinks
Dependently typed convolutional neural networks
☆35Updated 8 years ago
Alternatives and similar repositories for convoluted
Users that are interested in convoluted are comparing it to the libraries listed below
Sorting:
- An experiment in functional interface design☆24Updated 9 years ago
- rewrite rules for type-level equalities☆62Updated 5 months ago
- Kleene algebra, regular expressions