Show tools for a specific language:
- Show all
- .NET
- C#
- C/C++
- Delphi
- F#
- Fortran 77/90
- Fortran2003
- Fortran2008
- Fortran2018
- Fortran77
- Fortran95
- FortranCalculus
- Haskell
- Interpreted
- Java
- Julia
- Kotlin
- LLVM
- Language independent
- Lua
- MATLAB
- OpenCL
- Python
- R
Alphabetical List of Tools
- Kotlin𝛁 (Kotlin)
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.