Awesome Open Source

Programming Languages

Search results for scheme minikanren

3 search results found

Staged Minikanren ⭐ 114

staged relational interpreters: running with holes, faster

Clpsmt Minikanren ⭐ 28

CLP(SMT) on top of miniKanren

Minikanren Datalog ⭐ 16

Datalog implemented in minikanren

Related Searches

Theme Color Scheme (911)

Vim Color Scheme (844)

Python Scheme (766)

Javascript Scheme (705)

Theme Scheme (670)

Vim Script Color Scheme (559)

Vim Scheme (409)

Scheme Sublime Text (370)

Functional Programming Scheme (81)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.