sfahlman / scone
☆80Updated last year
Alternatives and similar repositories for scone:
Users that are interested in scone are comparing it to the libraries listed below
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 2 months ago
- ☆22Updated 9 years ago
- Joshua and Clim Environment☆14Updated 3 years ago
- Superceded by https://github.com/kraison/vivace-graph-v3 Open source Common Lisp graph database / RDF store / Prolog implementation. Su…☆33Updated 13 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 7 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
- Common Lisp library that facilitates working with Common Lisp arrays.☆37Updated 2 years ago
- A Common Lisp natural language processing toolkit☆52Updated 12 years ago
- Common lisp library for manipulating PDDL expressions.☆15Updated 3 months 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
- The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent☆14Updated 6 years ago
- Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic program…☆39Updated 9 years ago
- a fork of net.sourceforge.wilbur updated for mcl and sbcl☆27Updated 3 years ago
- OpenCL binding for Common Lisp☆51Updated 8 years ago
- The Last Web App Framework You Will Ever Evaluate: qooxdoo, Lisp, and Cells☆47Updated 2 years ago
- Implementation of fact bases for Common Lisp☆23Updated 7 years ago
- Port of Cyc to Common Lisp☆22Updated 4 years ago
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- Module system for languages that compile to Common Lisp☆60Updated last year
- An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.☆60Updated 3 years ago
- Common Lisp routines for Bayesian estimation and analysis.☆15Updated 7 years ago
- Portable implementation of quasiquote for Common Lisp☆27Updated 4 years ago
- ZeroMQ 4.0+ Common Lisp bindings.☆38Updated last year
- Implementation of Petri nets in Common Lisp☆25Updated 5 years ago
- The Common Lisp Interface Manager☆25Updated 8 years ago
- Full-text indexing and search for Common Lisp☆54Updated 11 years ago
- lock-free, concurrent, key/value index with efficient memory-mapped persistence and fast transient storage models☆120Updated 9 years ago
- Movitz: a Common Lisp x86 development platform☆84Updated 13 years ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Updated last year
- Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.☆56Updated 3 years ago