AlphaPeu commune
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
- Propriétaire
- LPCIC (organisation)
- Étoiles
- Étoiles : 381
- Forks
- Forks : 51
- Langage
- Prolog
- Licence
- LGPL-2.1
- Création
- 2017
- Sujets
- lambda-prologconstraintsocaml-libraryextension-language
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de LPCIC
Les 2 dépôts de LPCIC- LPCIC/coq-elpiÉtoiles : 197OCamlPrototype
D’autres dépôts Prolog
Tous les dépôts Prolog- bitlaw-jp/the-constitution-of-japanÉtoiles : 559PrologAlpha
- imchipwood/dumbpadÉtoiles : 517PrologAlpha
- larsyencken/marelleÉtoiles : 388PrologAlpha
- ciao-lang/ciaoÉtoiles : 354PrologAlpha
- rollecode/weedÉtoiles : 346PrologAlpha
- Seeker04/plwmÉtoiles : 295PrologAlpha