binghe / OSCAR
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
☆14Updated 6 years ago
Alternatives and similar repositories for OSCAR:
Users that are interested in OSCAR are comparing it to the libraries listed below
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 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
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago
- list of extensions beyond CL available in lisp implementations, and the status of its spread.☆21Updated 5 years ago
- Environment protocol for Common Lisp compilers.☆33Updated last year
- A specification of an improvement to the Common Lisp standard☆22Updated 2 years ago
- User-defined constant folding facility☆21Updated 5 years ago
- Work in progress common lisp library for beautiful documentation generation☆14Updated 4 years ago
- Robust REPL logging facility☆13Updated 6 years ago
- A different type of generic function for common lisp.☆30Updated 4 years ago
- CL environment introspection portability layer☆39Updated 9 months ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- A literate programming system for Common Lisp.☆22Updated 3 years ago
- Resilient replicant Shell Programming Library for Common Lisp☆21Updated 5 months ago
- Lisp web crawler and scrapper☆25Updated 7 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆32Updated 3 years ago
- support for non-linux platforms (tested on Darwin) and other misc updates☆42Updated 9 years ago
- CL Lambda list parsing and usage☆12Updated 7 months ago
- bind is let and much much more☆45Updated last year
- Video file decoding in Common Lisp☆20Updated 7 years ago
- Uniform Resource Locators for Common Lisp☆20Updated 10 months ago
- Binary Search Tree☆9Updated last year
- BKNR datastore - MOP-Based in-memory database with transactions for Common Lisp☆12Updated 5 years ago
- Excessive macro that generates decision trees for small sets of strings☆17Updated 6 years ago
- CL compiler macro utilities.☆65Updated 4 years ago
- C++/Julia-like parametric types in CL, based on CLtL2 extensions☆16Updated 4 years ago
- Create a Quicklisp distribution from a directory of local projects.☆66Updated 11 years ago
- Portability library for IEEE float features that are not covered by the CL standard.☆31Updated 8 months ago