sarvex

sarvex/microscopekanren

A JS implementation of microKanren with a focus on inspecting programs as they run

JavaScript
0
0
No license

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.

Total donated
Undistributed
Share with your subscribers:

Recipients

How the donated funds are distributed

Support the dependencies

Support the repos that depend on this repository

Top contributors

asolove's profile
asolove
19 contributions

Recent events

Kivach works on the Obyte network, and therefore you can track all donations.

No events yet