seckcoder/core
Jane Street Capital's standard library overlay
scikit-learn: machine learning in Python
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Jane Street Capital's standard library overlay
Canonical miniKanren implementation
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
All the logic programming code examples from the book "The Reasoned Schemer"