Skip to content
Change the repository type filter

All

    Repositories list

    • Project Management for LOGICMOO in SubL/CycL
      1200Updated Nov 12, 2022Nov 12, 2022
    • VSCode compatibility globalized minor mode that provides VSCode-style keybindings in Emacs.
      Emacs Lisp
      GNU General Public License v3.0
      0610Updated Jul 26, 2021Jul 26, 2021
    • An under-construction tutorial for KR&R in Prolog (Knowledge Representation and Reasoning)
      Prolog
      GNU General Public License v3.0
      53100Updated Nov 19, 2020Nov 19, 2020
    • LarKC_CL

      Public
      Java
      0100Updated Dec 31, 2018Dec 31, 2018
    • MKM

      Public
      MKM seeks to formalize mathematical knowledge with CYC
      Prolog
      1000Updated Nov 19, 2018Nov 19, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.