ryukinix / lisp-inferenceLinks
An Inference Engine based on Propositional Calculus written in Common Lisp
☆51Updated 2 months 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.☆64Updated 5 years ago
- Glyphs - Reducing Common Lisp verbosity☆30Updated 7 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last month
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 4 years ago
- Don't Lisp, Talk!☆57Updated last year
- A simple directed graph implementation for Common Lisp.☆30Updated 2 years ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- Common Lisp symbols separated into packages according to their purity☆32Updated 8 years ago
- A Bel Lisp interpreter built with C, written as a book/literate program (archived)☆56Updated 4 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 7 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
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆35Updated last year
- Collection of Utilities for Gerbil Scheme☆45Updated 3 months ago
- Build system in Common Lisp☆63Updated last week
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 10 years ago
- Common Lisp bindings to the GNU Readline library☆46Updated 8 months ago
- A WIP NES emulator, most dev happening on git.sr.ht/~kingcons once-more-with-feeling branch☆35Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆39Updated 4 years ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆110Updated 4 years ago
- Common Lisp implementation of rope datastructure☆37Updated last year
- An experimental implementation of parser combinators in Common Lisp☆80Updated 12 years ago
- A web framework for writing react components in common lisp using jscl☆20Updated 5 years ago
- R7RS/R6RS Scheme Implementation☆64Updated this week
- Module system for languages that compile to Common Lisp☆63Updated 2 years ago
- Gambit@30 talks and related documents☆41Updated 6 years ago
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- HASKELL: Yale Haskell system written in Lisp☆104Updated 11 years ago
- an implementation-independent framework for creating Common Lisp compilers☆53Updated 2 months ago
- lux - a simple library for creating real-time graphical apps☆30Updated 4 years ago
- Shen for Common Lisp (Unmaintained)☆128Updated last year