A JS implementation of microKanren with a focus on inspecting programs as they run
Micro Scope Kanren is a JavaScript implementation of microKanren designed for inspecting and visualizing how logic programs execute, with a focus on understanding the interleaving of different program components. It's aimed at developers and researchers interested in logic programming who want to trace and analyze the runtime behavior of their microKanren programs. The project is still in development, with planned features including goal tracing, visualization tools, and MiniKanren macros.
How the donated funds are distributed
Kivach works on the Obyte network, and therefore you can track all donations.