ryukinix / lisp-inferenceLinks
An Inference Engine based on Propositional Calculus written in Common Lisp
☆47Updated last week
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
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆49Updated 4 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 8 years ago
- Interactive software environment based on Common Lisp.☆78Updated this week
- Livin' like it's 1813 (or 1988).☆33Updated last year
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- Don't Lisp, Talk!☆57Updated last year
- Glyphs - Reducing Common Lisp verbosity☆30Updated 7 years ago
- Module system for languages that compile to Common Lisp☆61Updated last year
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆29Updated 9 years ago
- ContextL is a CLOS extension for Context-oriented Programming (COP), and was the first language extension that explicitly supports COP wh…☆51Updated last year
- Common Lisp bindings to the GNU Readline library☆44Updated 3 months ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆46Updated 7 years ago
- Lockless data structures for Common Lisp☆22Updated 9 months ago
- A library of conveniences for working with the Common Lisp SERIES package☆39Updated 5 years ago
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- Super Monadic Über Go-into : parser combinators for Common Lisp☆108Updated 3 years ago
- A library for reading, writing, and representing structures from binary storage☆19Updated last month
- Build system in Common Lisp☆61Updated 6 months ago
- Collection of Utilities for Gerbil Scheme☆43Updated last year
- POP, IMAP and SMTP client support for Common Lisp☆49Updated last month
- A WIP NES emulator, most dev happening on git.sr.ht/~kingcons once-more-with-feeling branch☆34Updated last year
- A Bel Lisp interpreter built with C, written as a book/literate program (archived)☆55Updated 4 years ago
- CFFI bindings for LLVM☆102Updated last year
- The Common Lisp Interface Manager☆25Updated 8 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 7 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago