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:
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆43Updated 2 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Full-text indexing and search for Common Lisp☆55Updated 12 years ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 9 months ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆36Updated 13 years ago
- Movitz: a Common Lisp x86 development platform☆83Updated 14 years ago
- Port of Cyc to Common Lisp☆23Updated 5 years ago
- Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/☆60Updated 14 years ago
- The Common Lisp Interface Manager☆25Updated 9 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- The Ops5 programming language for production systems☆42Updated 5 years ago
- An object-oriented dialect of Scheme☆61Updated last month
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆48Updated 8 years ago
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 7 years ago
- R6RS SRFIs☆26Updated 13 years ago
- Don't Lisp, Talk!☆57Updated last year
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 4 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆43Updated 8 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆113Updated 7 years ago
- A Common Lisp implementation of the dataflow programming paradigm☆221Updated 2 years ago
- This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…☆48Updated 9 years ago
- The source-code of the free book "PicoLisp Works"☆65Updated 11 years ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆12Updated 4 years ago
- Macintosh Common Lisp 6☆26Updated 7 years ago
- A *LISP emulator☆35Updated 5 years ago
- A Common Lisp Bayesian Network Inference Engine☆27Updated 12 years ago
- lock-free, concurrent, key/value index with efficient memory-mapped persistence and fast transient storage models☆120Updated 10 years ago