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: 4 days 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 (over 5 years ago)
• Default Branch: master
• Last Pushed: 2023-04-11T15:48:22.000Z (over 1 year ago)
• Last Synced: 2024-03-16T14:24:37.644Z (4 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: http://breandan.net/public/masters_thesis.pdf#2
• Size: 286 MB
• Stars: 506
• 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

Lists

• awesome - KotlinGrad