Kubernetes, Emacs, done!
SWI-Prolog Embedded in Emacs
PanDEMC ain't no Dynamic Epistemic Model Checker
Per major mode face remappings for Emacs
Inline completion preview for Emacs
Emacs package for displaying word definitions from RFC2229 dictionary servers
My website
A small Emacs interface to OpenAI's chat API
An s(CASP) formalization of the felicity condition for aspectual for-phrases
An MDL-based learner for regular expressions implemented in Prolog
SWI-Prolog package implementing a SourceHut GraphQL API client.
Lisp interpreter implemented in SWI-Prolog
Flymake backend for SWI-Prolog
Ropes data structure library for SWI-Prolog