white-flame / clyc
Port of Cyc to Common Lisp
☆22Updated 4 years ago
Alternatives and similar repositories for clyc:
Users that are interested in clyc are comparing it to the libraries listed below
- ☆10Updated 3 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆33Updated 3 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated last week
- a clim-desktop clone☆26Updated 3 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- Archive of old version, visit gendl.org for current version --- #gendl on libera.chat☆58Updated 2 years ago
- Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm☆16Updated 5 years ago
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆14Updated 3 months ago
- Scheme to Common Lisp☆15Updated last year
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- A portable single-layer timer wheel implementation.☆13Updated 8 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- A literate programming system for Common Lisp.☆22Updated 3 years ago
- Pure math functions useful for games, 3D, and GL in general.☆17Updated 9 years ago
- A library for seamless multi-language programming.☆35Updated last month
- A Common Lisp Framework for the Semantic Web☆22Updated 3 years ago
- A specification of an improvement to the Common Lisp standard☆22Updated 3 years ago
- Natural language construction grammar parser☆10Updated 9 years ago
- A heap-based priority queue whose first and foremost priority is speed.☆35Updated 8 months ago
- C to Common Lisp compiler☆8Updated 8 years ago
- ECL + IMGUI = IMCL☆17Updated 4 years ago
- Reactive programming at the variable/function level for Common Lisp☆36Updated 2 years ago
- The Last Web App Framework You Will Ever Evaluate: qooxdoo, Lisp, and Cells☆47Updated 2 years ago
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆19Updated last month
- Array slices for Common Lisp☆18Updated 3 years ago
- Implementation of fact bases for Common Lisp☆23Updated 7 years ago
- Some general condition classes and signalling helpers☆27Updated 3 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- An implementation of CLOS and the CLOS MOP☆17Updated 2 months ago