dakusui / combinatoradixLinks
A Java library to enumerate permutations and combinations suitable for distributed executions
☆14Updated last year
Alternatives and similar repositories for combinatoradix
Users that are interested in combinatoradix are comparing it to the libraries listed below
Sorting:
- Pure Kotlin CDCL SAT solver☆9Updated last year
- A plugin for IntelliJ Platform to interact with Leanpub☆13Updated 9 years ago
- ☆9Updated 6 months ago
- ☆10Updated 4 years ago
- DSL for Neo4j Cypher query language on Kotlin☆9Updated 7 years ago
- Litmus testing tool for Kotlin/Native (WIP)☆10Updated 2 months ago
- A framework for the large scale analysis of programming language usage.☆27Updated 2 years ago
- Examples on how to use the Spoon Java source code transformation library☆89Updated 2 years ago
- The Next Generation Logic Library☆146Updated 7 months ago
- Kotlin/Java API for various SMT solvers☆31Updated 2 months ago
- Official repository for PraPR source code☆14Updated 4 years ago
- Pluggable type-checking for Java☆21Updated this week
- ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker☆21Updated 2 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Numerical sniffing tool and Enriching number wrapper for Java☆23Updated 7 months ago
- Build lists in mathematical set-builder notation with Java, like { x * 2 | x E {1,2,3,4} ^ x is even }☆17Updated 7 years ago
- A tool to help adapting code bases to NullAway type system.☆15Updated this week
- An IntelliJ-based IDE plugin for Python AST transformations☆18Updated last year
- JaTyC: a typestate checker for Java☆17Updated 5 months ago
- IntelliJ IDEA plugin that filters output window for HTTP links and file paths and converts them to clickable links.☆17Updated 12 years ago
- ☆12Updated 3 years ago
- Property-based test framework☆80Updated 2 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 7 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Updated 5 years ago
- A platform for analysis of Java bytecode☆32Updated 9 months ago
- 🗿 SAT solver wrappers for Kotlin☆10Updated last year
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated 3 months ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10Updated 4 years ago
- JavaCL: OpenCL bindings for Java☆89Updated 2 years ago
- 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…☆12Updated 3 years ago