nilqed / SNARK
SNARK - SRI's New Automated Reasoning Kit
☆19Updated 8 years ago
Related projects: ⓘ
- Common Interface to ISO Prolog implementations from Common Lisp☆31Updated 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☆14Updated 5 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆46Updated 7 years ago
- Implementation of Petri nets in Common Lisp☆25Updated 4 years ago
- ☆18Updated this week
- A literate programming system for Common Lisp.☆22Updated 3 years ago
- Prototype object system for Common Lisp and more. KR: Constraint-Based Knowledge Representation☆14Updated last year
- 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
- A different type of generic function for common lisp.☆30Updated 3 years ago
- Natural language construction grammar parser☆10Updated 9 years ago
- Data Structures and streaming algorithms for Common Lisp.☆46Updated last month
- A logic programming library for Common Lisp.☆57Updated 3 years ago
- Implementation of fact bases for Common Lisp☆23Updated 6 years ago
- A numerical linear algebra library in Common Lisp.☆17Updated last year
- The Common Lisp Interface Manager☆25Updated 7 years ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 6 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 7 years ago
- CL environment introspection portability layer☆35Updated 5 months ago
- A matrix library for common lisp☆37Updated 3 years ago
- ZeroMQ 4.0+ Common Lisp bindings.☆38Updated 5 months ago
- Tiny, concurrent sampling profiler for Clozure Common Lisp.☆15Updated 8 years ago
- Basic Prolog functionality for Common Lisp☆20Updated 6 years ago
- A traversal fusion EDSL for Common Lisp☆23Updated 2 years ago
- Environment protocol for Common Lisp compilers.☆33Updated 8 months ago
- User-defined constant folding facility☆21Updated 5 years ago
- Common Lisp fixed-point number type☆11Updated 7 years ago
- Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.☆52Updated 2 years ago