Memory-effficient immutable collection types for Kotlin
☆12Nov 3, 2026Updated this week
Alternatives and similar repositories for collections
Users that are interested in collections are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Oct 29, 2026Updated last week
- ☆14Jun 28, 2026Updated 4 months ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- Race Condition Running☆11Updated this week
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 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.
- ☆11Jan 13, 2026Updated 9 months ago
- A parser and AST for Lustre☆12Jul 6, 2026Updated 4 months ago
- Reactive, type-safe form validation for Compose Multiplatform (Android & iOS)☆23Oct 27, 2026Updated last week
- A lightweight, efficient, and idiomatic library providing Trie data structures for Kotlin Multiplatform☆38Updated this week
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- Kotlin DTO Generator for Kotlinx Serialization.☆14Mar 19, 2026Updated 7 months ago
- Config of Annotated Types☆20Aug 6, 2026Updated 3 months ago
- Cyclomatic complexity, but for LLM prompts. Static analysis that finds the business logic hidden in your prompts, scores it, and gates it…☆12Sep 11, 2026Updated last month
- ☆20Oct 26, 2026Updated last week
- 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.
- Native macOS menu bar app for tracking AI usage limits in real-time. Built with Swift/SwiftUI.☆14Oct 18, 2026Updated 2 weeks ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Jun 13, 2017Updated 9 years ago
- opencode plugin that hard-blocks hallucinated file-proxy artifact URLs before any tool dials out.☆26Oct 27, 2026Updated last week
- Measure branching along code paths☆18Oct 25, 2016Updated 10 years ago
- Tool for differentially testing soundness and precision of program analyzers☆12Oct 19, 2018Updated 8 years ago
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- Documentation of Gradle Module Metadata, Attributes, and Rules☆13Mar 30, 2026Updated 7 months ago
- Compile time, multiplatform reflection for Kotlin☆47Oct 29, 2026Updated last week
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆18Sep 12, 2018Updated 8 years ago
- 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.
- Using mutations to improve specs and test suites☆215Oct 29, 2026Updated last week
- Automatically disassemble emacs buffers containing LLVM bitcode.☆14Oct 8, 2021Updated 5 years ago
- Local-first YouTube research: acquire VTT, search with SQLite/FTS5, run human-gated cumulative research in a web app or CLI, query via re…☆23Sep 22, 2026Updated last month
- Generate PDFs from your Jetpack Compose UI Code☆32Sep 30, 2026Updated last month
- Micro-optimized, fast, memory-efficient Kotlin utilities.☆49Sep 8, 2025Updated last year
- ☆24Oct 29, 2026Updated last week
- The Ciao Preprocessor☆13Jun 17, 2025Updated last year
- Reproduction Code for FSE Paper "DeepSearch: A Simple and Effective Blackbox Attack for Deep Neural Networks"☆13Aug 27, 2020Updated 6 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Simple SPI (Service Provider Interface) for Kotlin Multiplatform (equivalent of JVM's Service Loader)☆53Oct 6, 2026Updated last month
- ☆20Jul 15, 2026Updated 3 months ago
- Kotlin Multiplatform authentication capabilities check☆11Updated this week
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- Compiler plugin for kotlin that allows you to create indy calls☆11Feb 9, 2026Updated 8 months ago
- Kotlin Multiplatform 3D graphics library providing Three.js-equivalent capabilities with WebGPU/Vulkan backends. Write 3D apps once, depl…☆120Aug 20, 2026Updated 2 months ago
- ☆13Sep 6, 2024Updated 2 years ago