binkley / kotlin-rationalView external linksLinks
An immutable, infinite-precision Rational (ratio, fraction) class for Kotlin
☆14Nov 21, 2025Updated 2 months ago
Alternatives and similar repositories for kotlin-rational
Users that are interested in kotlin-rational are comparing it to the libraries listed below
Sorting:
- ☆10Aug 16, 2019Updated 6 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Apr 8, 2022Updated 3 years ago
- Naive Bayes Tweet Sentiment Classifier in Kotlin☆14Sep 21, 2020Updated 5 years ago
- Yet Another Kotlin COmpose Validation library☆20Nov 4, 2025Updated 3 months ago
- Tensors, Model Inference, Linear Regression, MNIST, LSTM with TensorFlow, DL4j, komputation, DJL on Kotlin☆17Dec 18, 2020Updated 5 years ago
- Gradle plugin for detecting use of legacy APIs which modern Java versions supersede☆19Oct 3, 2025Updated 4 months ago
- ☆50Apr 26, 2023Updated 2 years ago
- Simple State Machines in Kotlin (KSSM)☆25Oct 31, 2020Updated 5 years ago
- Redux-like predictable state container implementation for Kotlin apps☆26Sep 8, 2018Updated 7 years ago
- Customizable Material3 Modal Bottom Sheet that doesn't have issues with insets☆27May 9, 2023Updated 2 years ago
- Compose Multiplatform integration for Redux-Kotlin☆32Jan 29, 2026Updated 2 weeks ago
- The changelog is cast, let the versions fall where they may.☆48Jul 6, 2024Updated last year
- Litmus testing tool for Kotlin/Native☆72Apr 22, 2025Updated 9 months ago
- An opinionated ruleset for Detekt, which aims to reduce bugs, improve readability, and standardize code conventions☆17Feb 4, 2026Updated last week
- Bot twitter @cantasvacashai escrito en python☆13Sep 5, 2024Updated last year
- Multiplatform dynamic visualization framework including Plotly-kt☆42Feb 1, 2026Updated 2 weeks ago
- Прокси-сервер для API ВКонтакте☆11Aug 30, 2022Updated 3 years ago
- DEPRECATED☆14Sep 1, 2022Updated 3 years ago
- 基于FastAPI + LangChain + OpenAI API + Vue的AI表格处理工具，用于智能化处理和分析表格数据。☆17Jul 14, 2025Updated 7 months ago
- Integer array extension for PHP with fast set operations☆20Dec 16, 2011Updated 14 years ago
- ☆10Jul 1, 2025Updated 7 months ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Feb 7, 2026Updated last week
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- ☆12Nov 22, 2024Updated last year
- With this repository we can deploy apps with admob composables☆11Jul 17, 2023Updated 2 years ago
- Capture screenshot of Composables and Views (multiplatform)☆42May 9, 2025Updated 9 months ago
- JVM Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learn…☆44Feb 27, 2018Updated 7 years ago
- Vue wraps monaco-editor, and then wraps vue with UWP. This is an indescribable Markdown control.☆10Sep 8, 2020Updated 5 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- A collection of Zsh functions to augment Git☆19Dec 11, 2025Updated 2 months ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Read all you want faster with Reedy for Google Chrome!☆11Dec 26, 2019Updated 6 years ago
- ☆10Nov 29, 2025Updated 2 months ago
- gdp is a CLI tool for pushing the tag associated with deployment and publishing the release note in GitHub.☆10Jan 17, 2023Updated 3 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- Import existing compose stacks into Komodo☆24Sep 17, 2025Updated 4 months ago