nowfound

Life & fun · alternatives · 2026

MA

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. 1

    Configurable Clojure/Script interpreter suitable for scripting and Clojure DSLs - babashka/sci

    2019 · github.com · its alternatives →

  2. 2

    Stop duct-taping tools. Run everything with one command.

    Nov 2025 · tinycommand.com · its alternatives →

  3. 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. 4

    Agents Capable of Self-Editing Their Prompts / Python Code - aymenfurter/microagents

    2023 · github.com · its alternatives →

  5. 5
    Micron.JS▲214

    A [μ] microInteraction library built with CSS and JavaScript

    2018 · webkul.github.io · its alternatives →

  6. 6

    A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic

    2019 · github.com · its alternatives →

  7. 7

    Fast and efficient models optimized for coding and subagents

    Mar 2026 · openai.com · its alternatives →

  8. 8

    Give your AI agents safe access to 10,000+ APIs

    Mar 2026 · jentic.com · its alternatives →

  9. 9

    Announcing GPT-4.1, GPT-4.1 mini, & GPT-4.1 nano in the API

    2025 · openai.com · its alternatives →

  10. 10
    Minicule▲121

    Use AI to visualize biomedical knowledge

    2025 · its alternatives →

  11. 11

    Vercel's tiny, open-source coding agent

    Aug 2026 · fx.sh · its alternatives →

  12. 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. 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 →

  14. 14TL
  15. 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 →

  16. 16CD
  17. 17

    Microcontrollers made simple.

    Jul 2026 · microflow.tech · its alternatives →

  18. 18

    Give your AI agents native multimodal capabilities

    Apr 2026 · github.com · its alternatives →

  19. 19

    MicroCodex is an ultra-lightweight coding agent that runs in your terminal - paoloanzn/microcodex

    Aug 2026 · github.com · its alternatives →

  20. 20

    A minimalist type-inferred programming language with procedural macro support - murisi/L2

    2017 · github.com · its alternatives →

  21. 21
    micro-gl▲101

    Run vector graphics on any computer (without GPU or FPU)

    2023 · github.com · its alternatives →

  22. 22
  23. 23

    ⧟ GraphQL middleware library. Contribute to dylnslck/micrograph development by creating an account on GitHub.

    2016 · github.com · its alternatives →

  24. 24

    GitHub Gist: instantly share code, notes, and snippets.

    2011 · gist.github.com · its alternatives →

Also compare

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 →