ryukinix / lisp-inferenceLinks
An Inference Engine based on Propositional Calculus written in Common Lisp
☆50Updated 3 weeks ago
Alternatives and similar repositories for lisp-inference
Users that are interested in lisp-inference are comparing it to the libraries listed below
Sorting:
- A logic programming library for Common Lisp.☆62Updated 4 years ago
- Glyphs - Reducing Common Lisp verbosity☆30Updated 7 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 4 years ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- Collection of Utilities for Gerbil Scheme☆44Updated last week
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- Don't Lisp, Talk!☆57Updated last year
- Terminal emulator in racket☆42Updated last year
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 7 years ago
- Emacs style editor written in Racket☆63Updated 6 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 8 years ago
- Portable version of the Hemlock editor.☆46Updated 6 years ago
- An experimental implementation of parser combinators in Common Lisp☆80Updated 11 years ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆109Updated 3 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 9 years ago
- racket-cheat - a cheat sheet for Racket☆36Updated 3 weeks ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…