webyrd/faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
SchemeMIT
Stargazers
- 5l1v3r1
- AlexiaChenFreelancer
- alxbnct
- ankurkumar14Netradyne
- beike-zh
- breandan@mila-iqia
- cao-
- carlosrogueBerlin, Germany
- delonnewmanSelf
- digashComputational Philosophy, Inc.
- dtpetersFreelance
- ethframeRussia
- falloutphilUK
- FrozenVoid
- gilbertAustin, TX
- griotspeak
- hongguang121
- hwdh1987
- iambrjIIIT Hyderabad
- iwashiranui
- jar2333Akcelita Innovation Labs
- jcolivo
- JeffCarpenterCanada
- lifa123china
- macedotKraftek
- mguzmann
- mhlr
- nikitavoloboevTbilisi
- petarkabashkiLondon
- Retia-Adolf
- shenlebantongyingUWaterloo
- super-jalawii@appdevcitynet
- tfortunato
- waldyrious@feedzai
- weichen6613
- yinwang0