mifigiel

Pinned Repositories

• emacs-libvterm

  Emacs libvterm integration

  Language:Emacs Lisp1.7k35469135

• ob-prolog

  Org babel functions for prolog evaluation.

  Language:Emacs Lisp122216

• packages-readline

  GNU readline interface

  Language:C0324

• packages-ssl

  The SWI-Prolog SSL interface

  Language:C465113

• packages-zlib

  The SWI-Prolog zlib compressed stream interface

  Language:Prolog3916

• swipl-devel

  SWI-Prolog Main development repository

  Language:C95148760171

mifigiel's Repositories