briangu / OPS5Links
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
Sorting:
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 3 months ago
- Very fast and tiny 64-bit Lisp interpreter: object-oriented, dynamic and functional. Comes with a database, prolog-engine, coroutines, na…☆41Updated 6 years ago
- ☆7Updated 3 weeks ago
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- Poplog☆21Updated 14 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- The Wasp Lisp Virtual Machine, Associated Libraries, and MOSREF☆107Updated 6 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- Full-text indexing and search for Common Lisp☆54Updated 12 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- ☆22Updated 9 years ago
- The Ops5 programming language for production systems☆38Updated 5 years ago
- A parser tool for Racket with an expressive grammar notation☆20Updated 10 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 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☆17Updated 6 years ago
- Macintosh Common Lisp 6☆23Updated 6 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 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
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- The Clicc Common Lisp implementation (version 0.6.4)☆19Updated 11 years ago
- e-shop written on lisp☆21Updated 13 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆42Updated 2 years ago
- The source-code of the free book "PicoLisp Works"☆62Updated 10 years ago
- Libraries that clasp depends on☆13Updated 9 years ago
- Process daemonization for SBCL.☆45Updated 13 years ago
- The Last Web App Framework You Will Ever Evaluate: qooxdoo, Lisp, and Cells☆47Updated 2 years ago
- Examples from the Lisp version of my semantic web book☆37Updated 2 years ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated this week