PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

minikanren

< >

minikanren is an open source programming language created in 2013.

#1124on PLDB

13Years Old

Download source code:

git clone https://github.com/miniKanren/miniKanren

Homepage · Source Code · Twitter

Canonical miniKanren implementation

Tags: programming language
minikanren is developed on GitHub and has 349 stars
Early development of minikanren happened in https://github.com/miniKanren
minikanren is written in Scheme, Markdown

PLDB - Build the next great programming language · Add · Add Prompt · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v178.2.3