shop-planner / shop3Links
SHOP3 Git repository
☆159Updated 2 months ago
Alternatives and similar repositories for shop3
Users that are interested in shop3 are comparing it to the libraries listed below
Sorting:
- Simple Hierarchical Ordered Planner - A mirror of☆36Updated 9 years ago
- OPS5 Production System☆57Updated 12 years ago
- A Common Lisp library for solving linear programming problems☆110Updated 5 months ago
- Screamer is an extension of Common Lisp that adds support for nondeterministic programming.☆247Updated last year
- A Common Lisp implementation of the dataflow programming paradigm☆221Updated 2 years ago
- Common lisp library for manipulating PDDL expressions.☆15Updated 5 months ago
- a minimal versioned log structured relational DB in Common Lisp☆81Updated 4 years ago
- FSet, the functional collections library for Common Lisp.☆221Updated last week
- Cleven is an experimental game engine with volume graphics written in Common Lisp.☆48Updated 8 years ago
- LLVM to Common Lisp transpiler.☆272Updated last year
- A library designed to make programming in Common Lisp easier☆149Updated 4 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 4 years ago
- ☆71Updated 7 years ago
- another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…☆65Updated 5 years ago
- ProjecturEd is a generic purpose projectional editor.☆142Updated 3 years ago
- VivaceGraph version 3. Open source Common Lisp graph database & Prolog implementation. Supersedes http://github.com/kraison/vivace-graph-…☆179Updated 4 months ago
- Interpreter for a simple Lisp. Written in Prolog.☆151Updated 2 years ago
- Interactive software environment based on Common Lisp.☆139Updated last week
- ☆81Updated 2 years ago
- C to Common Lisp compiler☆317Updated 3 years ago
- Source Code for 'The Common Lisp Condition System' by Michal "phoe" Herda☆99Updated 4 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆189Updated 4 years ago
- Distributed, asychronous message passing system for Clozure Common Lisp☆66Updated 7 years ago
- SCHeMe UnterstüTZung — easy Guile Scheme C++ bindings☆45Updated last year
- A binary interface let Chez Scheme use Python, Lua, Ruby etc's library☆195Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.☆296Updated 4 years ago
- Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.☆208Updated 4 years ago
- Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)☆82Updated 5 years ago
- High performance Transactional Memory for Common Lisp☆253Updated last year