~eshel

https://eshelyaron.com

~eshel/sweep

SWI-Prolog Embedded in Emacs

~eshel/PanDEMC

PanDEMC ain't no Dynamic Epistemic Model Checker

~eshel/mode-face

Per major mode face remappings for Emacs

~eshel/completion-preview

Inline completion preview for Emacs

~eshel/dict

Emacs package for displaying word definitions from RFC2229 dictionary servers

~eshel/openai.el

A small Emacs interface to OpenAI's chat API

~eshel/afp

An s(CASP) formalization of the felicity condition for aspectual for-phrases

~eshel/mdl

An MDL-based learner for regular expressions implemented in Prolog

~eshel/sourcehut.pl

SWI-Prolog package implementing a SourceHut GraphQL API client.

~eshel/eshellisp

Lisp interpreter implemented in SWI-Prolog

~eshel/flymake-swi-prolog

Flymake backend for SWI-Prolog

~eshel/ropes.pl

Ropes data structure library for SWI-Prolog

~eshel/diagnostics.pl

Simple source code diagnostics for SWI-Prolog.

1 / 2