Kotlin∇ is a type-safe automatic differentiation framework written in Kotlin. 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, most type declarations may be safely omitted by the end-user. Kotlin∇ strives to be expressive, safe, and notationally similar to mathematics.

Features

  • Arithmetical operations on scalars, vectors and matrices
  • Shape-safe vector and matrix algebra
  • Partial and higher-order differentiation on scalars
  • Property-based testing for numerical gradient checking
  • Recovery of symbolic derivatives from AD
  • Documentation available

Project Samples

Kotlingrad Screenshot 1

Project Activity

See All Activity >

Categories

Mathematics

License

Apache License V2.0

Follow Kotlingrad

Kotlingrad Web Site

Other Useful Business Software
Dun and Bradstreet Risk Analytics - Supplier Intelligence Icon
Dun and Bradstreet Risk Analytics - Supplier Intelligence

Use an AI-powered solution for supply and compliance teams who want to mitigate costly supplier risks intelligently.

Risk, procurement, and compliance teams across the globe are under pressure to deal with geopolitical and business risks. Third-party risk exposure is impacted by rapidly scaling complexity in domestic and cross-border businesses, along with complicated and diverse regulations. It is extremely important for companies to proactively manage their third-party relationships. An AI-powered solution to mitigate and monitor counterparty risks on a continuous basis, this cutting-edge platform is powered by D&B’s Data Cloud with 520M+ Global Business Records and 2B+ yearly updates for third-party risk insights. With high-risk procurement alerts and multibillion match points, D&B Risk Analytics leverages best-in-class risk data to help drive informed decisions. Perform quick and comprehensive screening, using intelligent workflows. Receive ongoing alerts of key business indicators and disruptions.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Kotlingrad!

Additional Project Details

Operating Systems

Android

Programming Language

Kotlin

Related Categories

Kotlin Mathematics Software

Registered

2024-02-23
Report inappropriate content