Popular repositories

1. vscode-mode vscode-mode Public

   VSCode compatibility globalized minor mode that provides VSCode-style keybindings in Emacs.

   Emacs Lisp 6

2. logicmoo-project-kb logicmoo-project-kb Public

   Project Management for LOGICMOO in SubL/CycL

   2 1

3. LarKC_CL LarKC_CL Public

   Java 1

4. krr-prolog-tut krr-prolog-tut Public

   An under-construction tutorial for KR&R in Prolog (Knowledge Representation and Reasoning)

   Prolog 1 53

5. MKM MKM Public

   MKM seeks to formalize mathematical knowledge with CYC

   Prolog 1