Life & fun · alternatives · 2026
24 alternatives to Micrologic – A tiny, literate implementation of miniKanren/core.logic
Micrologic is a minimal, documented Clojure implementation of miniKanren, a logic programming system that can be embedded in functional languages. It serves as an educational resource for understanding how miniKanren… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Micrologic – A tiny, literate implementation of miniKanren/core.logic launched in 2015; newer entries below may have overtaken it.
- 1

Configurable Clojure/Script interpreter suitable for scripting and Clojure DSLs - babashka/sci
2019 · github.com · its alternatives →
- 2
TinyCommand▲356Stop duct-taping tools. Run everything with one command.
Nov 2025 · tinycommand.com · its alternatives →
- 3

I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.
2020 · github.com · its alternatives →
- 4

Agents Capable of Self-Editing Their Prompts / Python Code - aymenfurter/microagents
2023 · github.com · its alternatives →
- 5
Micron.JS▲214A [μ] microInteraction library built with CSS and JavaScript
2018 · webkul.github.io · its alternatives →
- 6

A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
2019 · github.com · its alternatives →
- 7

Fast and efficient models optimized for coding and subagents
Mar 2026 · openai.com · its alternatives →
- 8
Jentic Mini▲297Give your AI agents safe access to 10,000+ APIs
Mar 2026 · jentic.com · its alternatives →
- 9

Announcing GPT-4.1, GPT-4.1 mini, & GPT-4.1 nano in the API
2025 · openai.com · its alternatives →
- 10

- 11

- 12

I can't tell if HN is the right kind of place for this stuff anymore since people are so advanced in their use but I thought it was interesting to leverage my existing Go microservices framework and turn it into the core of what would provide tools for an agent cli or whatever beyond that. Extensibility is key. Thought I'd share and get a conversation going.
2020 · go-micro.dev · its alternatives →
- 13

A re-implementation of Karpathy's micrograd in C. Contribute to oraziorillo/microcrad development by creating an account on GitHub.
Jun 2026 · github.com · its alternatives →
- 14TL
2023 · tinyllms.vercel.app · its alternatives →
- 15

A lightweight programming language built with Go. Contribute to confh/Tiny development by creating an account on GitHub.
Jun 2026 · github.com · its alternatives →
- 16CD
2012 · scattered-thoughts.net · its alternatives →
- 17

- 18
MiniMax CLI▲145Give your AI agents native multimodal capabilities
Apr 2026 · github.com · its alternatives →
- 19

MicroCodex is an ultra-lightweight coding agent that runs in your terminal - paoloanzn/microcodex
Aug 2026 · github.com · its alternatives →
- 20

A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 21
micro-gl▲101Run vector graphics on any computer (without GPU or FPU)
2023 · github.com · its alternatives →
- 22

2021 · github.com · its alternatives →
- 23

⧟ GraphQL middleware library. Contribute to dylnslck/micrograph development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 24

GitHub Gist: instantly share code, notes, and snippets.
2011 · gist.github.com · its alternatives →
Also compare
- Small Clojure Interpreter alternatives
- TinyCommand alternatives
- Micro-mitten – Research language with compile-time memory management alternatives
- Microagents: Agents capable of self-editing their prompts / Python code alternatives
- Micron.JS alternatives
- A Clojure implementation of logic programming language in SICP alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →