PrototypeCommon
namin/staged-miniKanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
- Owner
- namin (personal account)
- Stars
- Stars: 144
- Forks
- Forks: 16
- Language
- Racket
- License
- MIT
- Created
- 2017
- Topics
- schememinikanrenmulti-stage-programminggenerative-programmingracket
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by namin
All 6 repos by namin- namin/incStars: 972SchemeBeta
- namin/llm-verified-with-monte-carlo-tree-searchStars: 296Jupyter NotebookAlpha
- namin/dotStars: 165Prototype
- namin/io.livecode.chStars: 144HTMLPrototype
- namin/logicallyStars: 119ClojurePrototype
Nearby in Racket
All Racket repos- Bogdanp/FranzStars: 152RacketPrototype
- pedropramos/PyonRStars: 151RacketPrototype
- evdubs/renegade-wayStars: 148RacketPrototype
- videolang/videoStars: 142RacketPrototype
- stchang/macrotypesStars: 141RacketPrototype
- murisi/L2Stars: 138RacketPrototype