ryukinix / lisp-inferenceLinks
An Inference Engine based on Propositional Calculus written in Common Lisp
☆45Updated this 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
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 7 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- Get the size of the terminal from Common Lisp☆12Updated 8 years ago
- ☆43Updated last month
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Don't Lisp, Talk!☆57Updated last year
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)☆28Updated 10 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 9 years ago
- Common Lisp implementation of rope datastructure☆37Updated 10 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 11 months ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆11Updated 4 years ago
- Binary Search Tree☆9Updated 2 years ago
- CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.☆54Updated 4 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Updated 4 years ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 9 months ago
- Pong implemented in Common Lisp using trivial-gamekit☆10Updated 7 years ago
- A WIP NES emulator, most dev happening on git.sr.ht/~kingcons once-more-with-feeling branch☆34Updated last year
- Resurrection of the EuLisp definition and the Youtoo, EuXLisp and Eu2C implementations☆64Updated 14 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- Parser combinators in Common Lisp☆23Updated 15 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆45Updated 7 years ago
- A library for reading, writing, and representing structures from binary storage☆19Updated last week