Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/willclarktech/idris-ml
Learning repo using Idris2 for ML
https://github.com/willclarktech/idris-ml
dependent-types idris2 neural-networks
Last synced: 17 days ago
JSON representation
Learning repo using Idris2 for ML
- Host: GitHub
- URL: https://github.com/willclarktech/idris-ml
- Owner: willclarktech
- Created: 2023-06-09T22:57:43.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2023-07-25T10:52:11.000Z (over 1 year ago)
- Last Synced: 2023-07-25T12:40:12.501Z (over 1 year ago)
- Topics: dependent-types, idris2, neural-networks
- Language: Idris
- Homepage:
- Size: 77.1 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0