Alternatives

Products that do what Micrologic – A tiny, literate implementation of miniKanren/core.logic does

1MA
Minimator, a Minimalist Graphical Editor▲220
2022 · minimator.app
2MJ
Micro JavaScript framework inspired by finite-state machine▲60
2018 · github.com
3MA
Muon, a low-level programming language inspired by C, C# and Go▲175
2019 · github.com
4FA
Fe – A tiny, embeddable language implemented in ANSI C▲143
2020 · github.com
5LO
LogicEmu – Online Logic Simulator▲210
2018 · lodev.org
6BA
BOOLR – A digital logic simulator▲136
2017 · boolr.me
7SC
Small Clojure Interpreter▲143
2019 · github.com
8TL
TinyGo – LLVM-based Go compiler for microcontrollers▲177
2018 · github.com
9MA
Micro – a microservice toolkit▲101
2016 · blog.micro.mu
10ST
Sat, the tiny WebAssembly compute module▲51
2021 · github.com
11AT
A Tiny Compiler for a Tiny Functional Language▲8
2024 · github.com
12AC
A compiler for a small language into x86-64 assembly▲74
2020 · github.com
13JT
Jolie – The First Programming Language for Microservices▲64
2015 · jolie-lang.org
14MA
Micro – A public API platform (now free during beta)▲25
2021 · m3o.com
15CA
Cixl – a minimal, decently typed scripting language▲64
2018 · github.com
16AC
A Clojure implementation of logic programming language in SICP▲56
2019 · github.com
17PA
Piku, a Micro-PaaS for ARM and x86▲19
2019 · github.com
18AT
A toy interpreter for a minimalistic imperative language in 1.3k LoC▲17
2015 · github.com
19TA
Thaum, a simple boilerplate and templating command line utility▲79
2017 · flaque.github.io
20HA
Hamilton, a Microframework for Creating Dataframes▲64
2021 · github.com
21
Wolfram Language▲86
Knowledge-based programming
2014
22WA
Whack – A simply-designed compiled programming language▲57
2018 · github.com
23SA
SQLToy – a tiny relational database for learning SQL via code▲41
2021 · github.com
24GM
Go-micro – a microservices client/server library▲27
2015 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →