calvis/kraken
Prototype of a new constraint-logic programming language in Racket
Public GitHub Catalog
Discovered Sep 24, 2026
calvis / cKanren
Constraint programming language embedded in Racket
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#2632782GitHub System ID
calvisOrganization / User
PublicVisibility
ActiveCatalog Status
More from calvis
calvis/eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
calvis/racket
The Racket repository
calvis/IF
A paper for POPL's "Off the Beaten Track" workshop about Interactive Fiction