AlphaUncommon
LPCIC/elpi
Embeddable Lambda Prolog Interpreter
- Owner
- LPCIC (organization)
- Stars
- Stars: 381
- Forks
- Forks: 51
- Language
- Prolog
- License
- LGPL-2.1
- Created
- 2017
- Topics
- lambda-prologconstraintsocaml-libraryextension-language
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by LPCIC
All 2 repos by LPCIC- LPCIC/coq-elpiStars: 197OCamlPrototype
Nearby in Prolog
All Prolog repos- bitlaw-jp/the-constitution-of-japanStars: 559PrologAlpha
- imchipwood/dumbpadStars: 517PrologAlpha
- larsyencken/marelleStars: 388PrologAlpha
- ciao-lang/ciaoStars: 354PrologAlpha
- rollecode/weedStars: 346PrologAlpha
- Seeker04/plwmStars: 295PrologAlpha