4 Repositories
Android symbolic-differentiation Libraries
A demonstration of source code transformation to implement automatic differentiation, compatible with an operation overload style AD library DiffKt.
AdOptimize Kotlin Plugin AdOptimize is a Kotlin compiler plugin that can transform functions written using an operation overload automatic differentia
12 Jul 29, 2022
A non-linear problem solver using automatic differentiation and penalty methods.
HelixOptimizer Join the discord and contribute! https://discord.gg/kqe74EER A non-linear problem solver using automatic differentiation and penalty me
0 Oct 18, 2022
UTBotJava generates test cases by code, trying to cover maximum statements and execution paths.
UTBotJava generates test cases by code, trying to cover maximum statements and execution paths. We treat source code as source of truth assuming that behavior is correct and corresponds to initial user demand. Generated tests are placed in so-called regression suite
60 Jan 3, 2023
🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
Kotlin∇: Type-safe Symbolic Differentiation for the JVM Kotlin∇ is a type-safe automatic differentiation framework written in Kotlin. It allows users
484 Dec 20, 2022