🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types
☆545Dec 17, 2024Updated last year
Alternatives and similar repositories for kotlingrad
Users that are interested in kotlingrad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kotlin mathematics extensions library☆718Oct 7, 2026Updated 3 weeks ago
- 👨🚀 A type-safe URI builder in Kotlin☆23Jul 16, 2022Updated 4 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆155Oct 6, 2026Updated 3 weeks ago
- Efficient f64-only ndarray in Kotlin☆142Jul 21, 2025Updated last year
- Experimental probabilistic programming framework based on Kotlin coroutines☆21Mar 28, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A clean multi-platform re-implementation of dataforge concepts☆28Updated this week
- A scientific computing library for Kotlin. https://kyonifer.github.io/koma☆274Aug 15, 2021Updated 5 years ago
- An Android, JavaFx, JS multiplatform datavisualization library with comprehensive DSL☆422Jan 25, 2025Updated last year
- Kotlin bindings for NumPy☆322Jul 7, 2022Updated 4 years ago
- Multidimensional array library for Kotlin☆739Updated this week
- Grammar of Graphics for Kotlin☆486Jul 2, 2026Updated 4 months ago
- A plugin for Kotlin compiler for compile-time reflection☆378Feb 14, 2024Updated 2 years ago
- A {K}otlin g{ra}mmar for data {vis}ualization☆189Apr 10, 2026Updated 6 months ago
- High-level Deep Learning Framework written in Kotlin and inspired by Keras☆1,580May 31, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- krangl is a {K}otlin DSL for data w{rangl}ing☆558Jan 28, 2023Updated 3 years ago
- Kotlin Multiplatform inline styling markup library☆60Dec 7, 2022Updated 3 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆13Apr 8, 2022Updated 4 years ago
- A framework for automatic differentiation in Kotlin☆62Jul 19, 2022Updated 4 years ago
- Kotlin compiler plugin to enable diagrammed function calls in the Kotlin programming language☆588Jun 20, 2024Updated 2 years ago
- Kotlin DataFrame: typesafe in-memory structured data processing for JVM☆1,075Updated this week
- An interactive Kotlin wrapper for plotly visualization tools☆158Jun 4, 2026Updated 4 months ago
- Proposes a word from a dictionary that matches the knowns in a popular worlde game☆13Feb 4, 2022Updated 4 years ago
- A nice parser combinator library for Kotlin☆445Oct 14, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Scripting enhancements for Kotlin☆2,121Jun 24, 2025Updated last year
- Multiplatform dynamic visualization framework including Plotly-kt☆45Jul 18, 2026Updated 3 months ago
- Intuitive, type-safe units of measure☆184Apr 6, 2026Updated 6 months ago
- The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming☆6,586Updated this week
- Immutable persistent collections for Kotlin☆1,424Oct 20, 2026Updated last week
- Functional companion to Kotlin's Compiler☆406Jun 4, 2026Updated 4 months ago
- ☆172Apr 20, 2021Updated 5 years ago
- Kotlin kernel for Jupyter/IPython☆1,231Jul 23, 2026Updated 3 months ago
- Interactive polyhedra explorer with animated transformations☆36Sep 6, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Stalin∇, a brutally optimizing compiler for the VLAD language☆78Feb 22, 2018Updated 8 years ago
- Kotlin source code documentation management tool☆321Apr 30, 2026Updated 6 months ago
- Multiplatform plotting library based on the Grammar of Graphics☆1,783Jul 2, 2026Updated 4 months ago
- The idiomatic way to use atomic operations in Kotlin☆1,113Updated this week
- Kotlin multiplatform benchmarking toolkit☆644Oct 6, 2026Updated 3 weeks ago
- Framework for testing concurrent code on JVM languages☆701Oct 13, 2026Updated 2 weeks ago
- The Arend Proof Assistant☆761Feb 25, 2025Updated last year