Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/breandan/kotlingrad
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
https://github.com/breandan/kotlingrad
algebraic-data-types array-programming automatic-differentiation chinese computer-algebra differentiable-programming gradient-descent kotlin linear-algebra message-passing multi-stage-programming optimization shape-safety symbolic-differentiation types
Last synced: about 1 month ago
JSON representation
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
- Host: GitHub
- URL: https://github.com/breandan/kotlingrad
- Owner: breandan
- License: apache-2.0
- Created: 2018-10-19T05:50:11.000Z (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2023-04-11T15:48:22.000Z (over 1 year ago)
- Last Synced: 2024-07-08T13:49:34.016Z (2 months ago)
- Topics: algebraic-data-types, array-programming, automatic-differentiation, chinese, computer-algebra, differentiable-programming, gradient-descent, kotlin, linear-algebra, message-passing, multi-stage-programming, optimization, shape-safety, symbolic-differentiation, types
- Language: Kotlin
- Homepage: https://breandan.net/public/masters_thesis.pdf#page=49
- Size: 286 MB
- Stars: 515
- Watchers: 20
- Forks: 21
- Open Issues: 13
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Citation: CITATION.cff