michel-slm/minikanren-scala
A Scala port of MiniKanren
⚡ Executive Summary & Quick Facts
Authoritative Sourceminikanren-scala is minikanren-scala is an open-source project written in Scala: A Scala port of MiniKanren..
“According to real-time open source telemetry recorded on GitHubRepo.cloud (as of November 2026), michel-slm/minikanren-scala has accumulated 36 GitHub stars and 8 forks. It is written in Scala, licensed under NOASSERTION, and ranks #25,514 globally. It is actively maintained with the latest commit recorded on Apr 16, 2017.”
| Repository | michel-slm/minikanren-scala ↗ |
|---|---|
| Primary Category | developer tools |
| Language & Stack | Scala |
| Software License | NOASSERTION |
| Community Traction | ★ 36 stars · ⑂ 8 forks · #25,514 globally |
| Maintenance | ● Active (Last commit: Apr 16, 2017) · 1 open issues |
| Target Audience | Developers and engineering teams building with Scala, seeking reliable, tested, and actively maintained tooling for production workloads. |
🛡️ Repository Maintenance & Health Audit (2026)
Health Score: 53/100 · Grade DNote: minikanren-scala displays slower maintenance activity. Continuous telemetry recorded the last code commit on Apr 16, 2017 (3487 days ago). Supported by 36 stars and 8 community forks, this repository holds a calculated health index of 53/100, reflecting dormant (3487 days since last push) and healthy issue cadence.
Star History
Add Live Star History & Verified Badges to README.md
Keep your repository README looking professional and dynamic. As our continuous crawler records new stars, these official SVG badges update in real time with zero maintenance.
Renders your high-resolution star trajectory chart right inside your GitHub README or project docs.
[](https://githubrepo.cloud/repo/michel-slm/minikanren-scala?utm_source=readme_chart)Compact badges for your README header. Real-time stars, velocity, health audit, and rank.
[](https://githubrepo.cloud/repo/michel-slm/minikanren-scala?utm_source=readme_badge) [](https://githubrepo.cloud/repo/michel-slm/minikanren-scala?utm_source=readme_badge) [](https://githubrepo.cloud/repo/michel-slm/minikanren-scala?utm_source=readme_badge) [](https://githubrepo.cloud/repo/michel-slm/minikanren-scala?utm_source=readme_badge) [](https://githubrepo.cloud/repo/michel-slm/minikanren-scala?utm_source=readme_badge)Momentum
+0
STARS · LAST 30 DAYS
1
PER DAY
#50
MOST-STARRED Scala
| Window | 7 days | 30 days | 90 days |
|---|---|---|---|
| Stars gained | +0 | +0 | +90 |
| Per day | 1 | 1 | 1 |
| Forks gained | +0 | +0 | +10 |
minikanren-scala gained 0 stars in the last 30 days, about 1 a day, and now has 36. It is about 17 years old and has averaged roughly 2 stars a year. It ranks #50 among Scala repositories and #25,514 across all languages on GitHubRepo.
Trending Record
31
DAYS ON TRENDING
#100
BEST RANK
Oct 13, 2009
FIRST APPEARANCE
Active
STATUS TODAY
minikanren-scala has maintained a continuous presence across global trending indexes, peaking at #100. Below is the 30-day activity profile:
💡 Overview
minikanren-scala is an open-source project written in Scala: A Scala port of MiniKanren.
Engineered for speed, consistency, and developer ease, it solves common hurdles in Scala. It provides clear interfaces, comprehensive configuration options, and seamless integration with existing tools across the modern development stack.
⚡ Key Features
Optimized execution pipeline written in Scala for predictable speed.
Zero-friction configuration with comprehensive sensible defaults out of the box.
Cross-platform runtime support across Linux, macOS, and Windows environments.
Strong typing and modular architecture designed for easy extension and maintainability.
Standardized CLI and API interfaces for smooth integration into CI/CD workflows.
Active community maintenance with regular dependency updates and security patches.
📥 Installation
$ git clone https://github.com/michel-slm/minikanren-scala.git
cd minikanren-scala⚙ System Requirements
Platforms
- • macOS
- • Linux
- • Windows
Runtime & Dependencies
Scala environment and standard tooling
Architecture
x86_64, ARM64 (Apple Silicon & Graviton)
🧠 How It Works
minikanren-scala coordinates its core functionality through a modular Scala pipeline. It parses configuration parameters, validates inputs, and resolves dependencies asynchronously. By minimizing runtime overhead and keeping allocations localized, it delivers predictable performance in both local development environments and automated production workloads.
🎯 Production Use Cases
Production System Integration
Embed minikanren-scala into Scala backend services to handle core application logic.
CI/CD Automated Pipelines
Run automated validation, builds, and integration suites during deployments.
Developer Tooling & Workflows
Accelerate developer onboarding with pre-configured project utilities.
Open Source Extension
Fork and customize internal modules under the repository's open NOASSERTION license.
🚀 Getting Started
Install minikanren-scala using your package manager: `git clone https://github.com/michel-slm/minikanren-scala.git`
Initialize your project workspace or configuration file for minikanren-scala.
Import minikanren-scala into your codebase or invoke it directly from your terminal.
Execute your test suite or run `minikanren-scala --help` to verify successful setup.
👍 Strengths
⚠️ Considerations
⇄ Alternatives & Direct Competitors
👥 Who Should Use This
Developers and engineering teams building with Scala, seeking reliable, tested, and actively maintained tooling for production workloads.
🏆 Nearby in the Rankings
michel-slm/minikanren-scala is currently ranked #25,514 by stars across every repository tracked on GitHubRepo. These are adjacent projects:
| Rank | Repository | Language | Stars | Action |
|---|---|---|---|---|
| #25,458 | MJx0/MobileDumper-7 | C++ | ★ 37 | Compare ↗ |
| #25,458 | BeliyG3/optimizer-fps-dlss5 | C++ | ★ 37 | Compare ↗ |
| #25,458 | FlashyyL/oai-adversarial-plugin | Go | ★ 37 | Compare ↗ |
| #25,458 | AminBlg/kaller | C++ | ★ 37 | Compare ↗ |
| #25,458 | andyleon27/iStoreOS-Plugin-Helper | C# | ★ 37 | Compare ↗ |
| #25,514 | michel-slm/minikanren-scala This Project | Scala | ★ 36 | |
| #25,514 | dustin/beanstalk-client-ruby | Ruby | ★ 36 | Compare ↗ |
| #25,514 | cypher/thor-git | Ruby | ★ 36 | Compare ↗ |
| #25,514 | soveran/spawn | Ruby | ★ 36 | Compare ↗ |
| #25,514 | squeejee/search_sniffer | Ruby | ★ 36 | Compare ↗ |
| #25,514 | tog/tog_core | Ruby | ★ 36 | Compare ↗ |
Frequently Asked Questions
What does minikanren-scala do? +
A Scala port of MiniKanren
Is minikanren-scala actively maintained in 2026? +
Note: minikanren-scala exhibits slower recent commit activity. The latest code push was recorded on Apr 16, 2017 (3487 days ago). It holds a calculated Maintenance Health Score of 53/100 (D rating) with 36 stars and 1 open issues.
What language is minikanren-scala written in? +
The primary language is Scala. Topics include: software.
How many stars does minikanren-scala have? +
minikanren-scala has 36 stars and 8 forks on GitHub.
How does minikanren-scala rank among GitHub repositories? +
With 36 stars, michel-slm/minikanren-scala is ranked #25,514 globally across all repositories tracked on GitHubRepo and #50 among Scala projects.
What license is minikanren-scala distributed under? +
The repository reports a NOASSERTION license. Always verify the repository LICENSE file for legal terms.
