PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

Elpi

< >

Elpi is a programming language created in 2014 by Enrico Tassi.

#1220on PLDB

10Years Old

Download source code:

git clone https://github.com/LPCIC/elpi

Embeddable Lambda Prolog Interpreter

Tags: programming language
Elpi is developed on GitHub and has 277 stars
Early development of Elpi happened in https://github.com/LPCIC
Elpi is written in Standard ML, OCaml, JSON, Markdown, Make, reStructuredText, YAML, Python, TypeScript, Tex
Pygments supports syntax highlighting for Elpi

PLDB - Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0