PrototypeCommune
namin/staged-miniKanren
multi-stage relational programming for staged relational interpreters: running with holes, faster
- Propriétaire
- namin (compte personnel)
- Étoiles
- Étoiles : 143
- Forks
- Forks : 16
- Langage
- Racket
- Licence
- MIT
- Création
- 2017
- Sujets
- schememinikanrenmulti-stage-programminggenerative-programmingracket
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de namin
Les 6 dépôts de namin- namin/incÉtoiles : 972SchemeBêta
- namin/llm-verified-with-monte-carlo-tree-searchÉtoiles : 295Jupyter NotebookAlpha
- namin/dotÉtoiles : 164Prototype
- namin/io.livecode.chÉtoiles : 143HTMLPrototype
- namin/logicallyÉtoiles : 118ClojurePrototype
D’autres dépôts Racket
Tous les dépôts Racket- Bogdanp/FranzÉtoiles : 152RacketPrototype
- pedropramos/PyonRÉtoiles : 151RacketPrototype
- evdubs/renegade-wayÉtoiles : 148RacketPrototype
- videolang/videoÉtoiles : 142RacketPrototype
- stchang/macrotypesÉtoiles : 141RacketPrototype
- murisi/L2Étoiles : 138RacketPrototype