Life & fun · alternatives · 2026

24 alternatives to Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types

🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types - breandan/kotlingrad

Kotlin∇ is a symbolic differentiation library built for the Kotlin programming language using algebraic data types. It enables developers to compute derivatives of mathematical functions while maintaining type safety… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types launched in 2021; newer entries below may have overtaken it.

1. 1
   Kotlin Money▲427

   Manipulating monetary amounts is a common computing chore. However, no mainstream language has a first-class data type for representing money, it’s up to programmers to code abstractions for it. This isn’t an issue per se until dealing with rounding issues from operations like installment payments (e.g., buy now, pay later), foreign exchange, or even simple things like fee processing and tax collection. Inspired by my days at N26 Brasil dealing with these challenges, I introduce Money: a Kotlin library that makes monetary calculations and allocations easy.

   2024 · blog.eriksen.com.br · its alternatives →

2. 2
   Boldly go where Gradient Descent has never gone before with DiscoGrad▲232

   Trying to do gradient descent using automatic differentiation over branchy programs? Or to combine them with neural networks for end-to-end training? Then this might be interesting to you. We develped DiscoGrad, a tool for automatic differentiation through C++ programs involving input-dependent control flow (e.g., "if (f(x) < c) { ... }", differentiating wrt. x) and randomness. Our initial motivation was to enable the use of gradient descent with simulations, which often rely heavily on such discrete branching. The latter makes plain autodiff mostly useless, since it can only account for the…

   2024 · github.com · its alternatives →

3. 3KA
   Konty – A Balsamiq-alternative lo-fi wireframe tool for modern apps▲392

   2024 · konty.app · its alternatives →

4. 4CD
   Clojure DSL for pattern-matching, parsing and generic programming▲204

   2012 · scattered-thoughts.net · its alternatives →

5. 5
   Eole, a Lévy-optimal lambda calculus evaluator written in Rust▲106

   Éole, a Lévy-optimal lambda calculus evaluator without oracle - HerrmannM/eole

   2019 · github.com · its alternatives →

6. 6
   val – An arbitrary precision calculator language▲34

   Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)

   2025 · github.com · its alternatives →

7. 7
   Peridot – A functional language based on two-level type theory▲151

   A fast functional language based on two level type theory - ehatti/peridot

   2022 · github.com · its alternatives →

8. 8AI
   An Interactive Guide to Teach Derivatives and Backpropagation▲119

   2023 · x0axz.com · its alternatives →

9. 9
   I wrote an autodiff in C++ and implemented LeNet with it▲36

   2024 · gitlab.com · its alternatives →

10. 10PW
    Programming with Pure Lambda Calculus▲61

    Functional programming language based on pure de Bruijn indexed lambda calculus.

    2023 · bruijn.marvinborner.de · its alternatives →

11. 11
    An expression parser supporting multiple types▲33

    This C library is part of a main project aimed at providing a reactive key-value (KV) database. The data is typed (numbers, strings, dates, or booleans) and can include formulas with references to other entries. Clients connected to this database receive a real-time data stream with updates to the subscribed keys, allowing them to react to changes and their dependencies. Essentially, it’s like building a distributed Excel, where data and formulas dynamically update across the system. I couldn’t find any libraries that offered the full set of features I needed for evaluating expressions, so I…

    2024 · github.com · its alternatives →

12. 12
    Llr – a Clojure inspired Lisp that compiles to R in R▲63

    Lisp-like-R: A clojure inspired lisp that compiles to R in R - dirkschumacher/llr

    2021 · github.com · its alternatives →

13. 13
    Signum – Kotlin Multiplatform Cryptography and PKI Library▲10

    An OSS KMP crypto + PKI library with a comprehensive ASN.1 engine. Android and iOS targets come with hardware-backed crypto + key storage, and native biometric auth.

    2025 · github.com · its alternatives →

14. 14
    A functional red-black tree in JavaScript▲12

    A purely functional red-black tree data structure. Contribute to mikolalysenko/functional-red-black-tree development by creating an account on GitHub.

    2014 · github.com · its alternatives →

15. 15
    A formally verified native Delta Lake implementation in Rust▲8

    A native Rust library for Delta Lake, with bindings into Python - delta-io/delta-rs

    2022 · github.com · its alternatives →

16. 16
    Froebel–a strictly typed utility library for Deno, Node, and Browsers▲16

    A strictly typed utility library. Contribute to MathisBullinger/froebel development by creating an account on GitHub.

    2022 · github.com · its alternatives →

17. 17
    Mosaic – A Kotlin framework for cleaner back end code▲25

    Backend APIs often grow into large orchestration classes full of duplicated calls and manual concurrency. I’ve been working on Mosaic, a Kotlin framework that composes responses out of small, request-scoped “tiles.” Each tile runs once per request, dependencies resolve automatically, and independent tiles execute in parallel without boilerplate. It’s still early (v0.2.0), but working today for caching, concurrency, and testability. Curious to hear feedback on the approach. GitHub: https:&#x2F;&#x2F;github.com&#x2F;Nick-Abbott&#x2F;Mosaic Maven Central: org.buildmosaic:mosaic-core:0.2.0

    2025 · github.com · its alternatives →

18. 18
    Calyx – A Ruby Library for Generating Text▲14

    DEPRECATED - Ruby library for generating text with declarative recursive grammars, a fork of maetl/Calyx - tra38/tra38-calyx

    2016 · github.com · its alternatives →

19. 19
    E-graphs and equality saturation in Haskell▲22

    Fast equality saturation in Haskell

    2022 · hackage.haskell.org · its alternatives →

20. 20
    Kotlin 1.0▲6

    Pragmatic programming language for JVM and Android

    2016 · blog.jetbrains.com · its alternatives →

21. 21
    Derive4j – Java8 support for ADTs, pattern matching, and more▲10

    Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses. - derive4j/derive4j

    2015 · github.com · its alternatives →

22. 22
    Svekyll, radical simplicity of Jekyll and futuristic power of Svelte▲6

    the radical simplicity of Jekyll + the futuristic power of Svelte

    2021 · svekyll.com · its alternatives →

23. 23
    Aphelo – A Redis-like store in C++ with Progressive Rehashing▲5

    By Pranit Garje | github.com/pranitgarje

    Apr 2026 · veniatyrannus993225.substack.com · its alternatives →

24. 24
    Expreduce 0.2, a free Mathematica-compatible CAS written in Go▲14

    An experimental computer algebra system written in Go - corywalker/expreduce

    2017 · github.com · its alternatives →

Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →