Kotlin𝛁
Summary:
Kotlin𝛁 is a framework for type-safe automatic differentiation in the Kotlin language. It allows users to express differentiable programs with higher-dimensional data structures and operators. We attempt to restrict syntactically valid constructions to those which are algebraically valid and can be checked at compile-time. By enforcing these constraints in the type system, it eliminates certain classes of runtime errors that may occur during the execution of a differentiable program. Due to type-inference in the language, most types may be safely omitted by the end user. Kotlin𝛁 strives to be expressive, safe, and notationally similar to mathematics.
URL: https://github.com/breandan/kotlingrad
Developers:
- Breandan Considine
| Method: |
Operator overloading |
| Supported Language: |
Kotlin |
Supported Platforms:
- Windows
- Unix/Linux
- Mac
- Application Server
Licensing: open source
Entries in our publication database that actually use Kotlin𝛁 in the numerical experiments: 0
The following diagram shows these entries versus the year of the publication.
|
|||
| Year | |||