Alternatives

Products that do what Kotlin∇: Shape-Safe Symbolic Differentiation with Algebraic Data Types does

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

   2012 · scattered-thoughts.net

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

   2019 · github.com

3. 3PA
   Poica – Algebraic data types and type introspection for pure C▲116

   2020 · github.com

4. 4J1
   Javalin 1.0 – A Kotlin/Java web framework▲271

   2017 · javalin.io

5. 5RE
   Retool: Excel-like, with higher order primitives▲190

   2017 · retool.in

6. 6CA
   Caramel – a modern syntax for the lambda calculus▲130

   2015 · github.com

7. 7IT
   Introduction to Simple Computational Geometry Concepts Using C++▲114

   2018 · wykobi.com

8. 8AI
   An Interpreter for Extended Relational Algebra (Scheme Based)▲52

   2016 · github.com

9. 9TI
   Trianglify.io – Colorful patterns generated via Delaunay triangulations▲38

   2020 · trianglify.io

10. 10MS
    Motif – Scala-like pattern matching with Java 8▲51

    2015 · github.com

11. 11AT
    A toy compiler of a Scala subset▲13

    2021 · mykolav.github.io

12. 12SP
    spe.py – A Simple Polymorphic Engine▲13

    2021 · github.com

13. 13SO
    Superset of Lisp and Lua Programming Language, a la JSX▲38

    2017 · github.com

14. 14MA
    MeTA: A Modern C++ Data Sciences Toolkit▲39

    2014 · meta-toolkit.github.io

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

    2015 · github.com

16. 16AM
    Algebraic Modeling – design 2D and 3D shapes using polynomials▲5

    2019 · github.com

17. 17KA
    Kweb, a Kotlin web framework based on the observer pattern▲5

    2019 · docs.kweb.io

18. 18RM
    Renesca-Magic – Typesafe Graph Database Schemas▲23

    2015 · github.com

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

    2017 · github.com

20. 20LA
    Lambash, a WIP λ-Calculus Unix Shell Written in Rust▲7

    2019 · github.com

21. 21DA
    Dslib, an open source library of data structures in JavaScript▲13

    2014 · npmjs.org

22. 22LB
    Libtwiddle – bit and sketches data structures▲6

    2016 · github.com

23. 23DS
    Deterministic Style Sheets▲6

    2018 · twitter.com

24. 24LE
    Lambdr – Easy development flow and deployment for Lambda functions▲9

    2016 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →