一种用于Racket的miniKanren优化编译器实现
An optimizing compiler implementation of miniKanren for Racket (2024-07-09, Racket, 0KB, 下载0次)
玫瑰求解器辅助主机语言、示例求解器辅助DSL和演示
The Rosette solver-aided host language, sample solver-aided DSLs, and demos (2023-04-09, Racket, 2719KB, 下载0次)