ryukinix / lisp-inferenceLinks
An Inference Engine based on Propositional Calculus written in Common Lisp
☆41Updated 4 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.☆62Updated 4 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- Common Lisp with Arc Macros and Procedures☆74Updated 8 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆33Updated last year
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 7 years ago
- ☆43Updated 2 weeks ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆28Updated 9 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 7 months ago
- Glyphs - Reducing Common Lisp verbosity☆30Updated 7 years ago
- Livin' like it's 1813 (or 1988).☆32Updated last year
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Pong implemented in Common Lisp using trivial-gamekit☆10Updated 7 years ago
- Don't Lisp, Talk!☆57Updated last year
- Common Lisp symbols separated into packages according to their purity☆33Updated 8 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- Parser combinators in Common Lisp☆23Updated 15 years ago
- Get the size of the terminal from Common Lisp☆12Updated 8 years ago
- ☆22Updated 5 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Binary Search Tree☆9Updated 2 years ago
- A simple directed graph implementation for Common Lisp.☆29Updated last year