kubed. Kubernetes, Emacs, done!
semel. Semantic highlighting for Emacs Lisp
debug_adapter. Debug Adapter Protocol (DAP) implementation for SWI-Prolog
trust-manager. Convenient trust management for Emacs
lean4-bdd. Binary Decision Diagrams in Lean 4
