PrototypeCommune
webyrd/miniKanren-with-symbolic-constraints
Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
- Propriétaire
- webyrd (compte personnel)
- Étoiles
- Étoiles : 167
- Forks
- Forks : 24
- Langage
- Scheme
- Licence
- MIT
- Création
- 2015
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de webyrd
Les 5 dépôts de webyrd- webyrd/BarlimanÉtoiles : 1 086SchemeBêta
- webyrd/mediKanrenÉtoiles : 338RacketAlpha
- webyrd/miniKanrenÉtoiles : 132SchemePrototype
- webyrd/quinesÉtoiles : 131SchemePrototype
D’autres dépôts Scheme
Tous les dépôts Scheme- geosolutions-it/osm-stylesÉtoiles : 168SchemePrototype
- klutometis/aimaÉtoiles : 167SchemePrototype
- schemedoc/bibliographyÉtoiles : 167SchemePrototype
- nlextract/NLExtractÉtoiles : 166SchemePrototype
- strint/sicpAnsÉtoiles : 165SchemePrototype