Embeddable Lambda Prolog Interpreter

Windows Desktop Pandora Radio Client

Coq plugin embedding elpi

🙊 software for creating speech recognition models.

E-LPIPS: Robust Perceptual Image Similarity via Random Transformation Ensembles

High level commands to declare a hierarchy based on packed classes

Ring, field, lra, nra, and psatz tactics for Mathematical Components

An R package to construct Elastic Principal Graphs

Python implementation of the ElPiGraph algorithm with cpu and gpu support

Matita (proof assistant) with embedded elpi

Remote Control for Elpis

Soon filled, stay tuned!

No description available

visual studio code extension for Elpi

EchoLink Hat for Raspberry Pi

JS binders and tools to interact with the Elpi lambda-prolog interpreter written in OCaml.

A Picker View with animation build in Swift 3

No description available

SLG Game

Tape-out of a reduced version of Elpis, a custom RISC-V-based processor

GUI to operate Elpis

一个企业级应用框架，通过全栈实现

Hacked Xbox 360 CB_B 7378 to support Samsung Elpis in RGH scenarios

Using youtube-dl and MPV, host your own free audio streaming service locally on the Raspberry Pi

The Core Elpis Library.

VSCode extension for coq-elpi

Takes level and audio container files from a certain rhythm game and converts them into more open formats.

Refactor of the Elpis project, with a web service in mind.

No description available

A tiny proof assistant for local set theory, in λ-Prolog.