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
- SNARK - SRI's New Automated Reasoning Kit☆19Updated last month
- ☆10Updated 3 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- A specification of an improvement to the Common Lisp standard☆22Updated 3 years ago
- a clim-desktop clone☆26Updated 3 years ago
- Pure math functions useful for games, 3D, and GL in general.☆17Updated 9 years ago
- C to Common Lisp compiler☆8Updated 8 years ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 6 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- Portable implementation of quasiquote for Common Lisp☆27Updated 4 years ago
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆14Updated 4 months ago
- A library for seamless multi-language programming.☆35Updated 2 months ago
- A Common Lisp implementation of the Cassowary constraint solving toolkit.☆21Updated last year
- ☆17Updated last year
- Portability library for better interaction and debugging of a running Common Lisp image through text REPL.☆19Updated 2 months ago
- Implementation of Petri nets in Common Lisp☆25Updated 4 years ago
- support for non-linux platforms (tested on Darwin) and other misc updates☆43Updated 10 years ago
- Hygiene-compatible Lisp dialect embedded in CL☆20Updated last year
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- Natural language construction grammar parser☆10Updated 9 years ago
- An implementation of CLOS and the CLOS MOP☆17Updated last week
- Some general condition classes and signalling helpers☆27Updated 4 months ago
- generalized specializers work☆15Updated 7 years ago
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- list of extensions beyond CL available in lisp implementations, and the status of its spread.☆21Updated 5 years ago
- A literate programming system for Common Lisp.☆23Updated 3 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.☆56Updated 3 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Updated 11 years ago
- ☆26Updated 2 years ago