briangu / OPS5
OPS5 Production System
☆57Updated 12 years ago
Alternatives and similar repositories for OPS5:
Users that are interested in OPS5 are comparing it to the libraries listed below
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- Full-text indexing and search for Common Lisp☆54Updated 11 years ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- The Common Lisp Interface Manager☆25Updated 8 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago
- WuWei -- effortless Ajax web UIs from Common Lisp☆77Updated 2 years ago
- Don't Lisp, Talk!☆57Updated last year
- Sample implementation and specification of CLIM 3.☆57Updated 8 years ago
- A matrix library for common lisp☆38Updated 3 years ago
- Common Lisp implementation of rope datastructure☆37Updated 7 months ago
- Distributed, asychronous message passing system for Clozure Common Lisp☆66Updated 7 years ago
- The Ops5 programming language for production systems☆38Updated 5 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆48Updated 8 years ago
- a common lisp (well, sbcl) wrapper around the opencv vision library☆35Updated 11 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- Travis-CI scripts for testing Common Lisp software☆85Updated 4 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 2 months ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 6 years ago
- Blocky is a visual programming language based on Common Lisp.☆23Updated 12 years ago
- Interop Common Lisp and Node.js in the same process☆16Updated 8 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- A Common Lisp implementation of the Cassowary constraint solving toolkit.☆21Updated last year
- An experimental implementation of parser combinators in Common Lisp☆80Updated 11 years ago
- A Common Lisp implementation of the dataflow programming paradigm☆216Updated 2 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 9 months ago