ryukinix / lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
☆40Updated 2 weeks ago
Alternatives and similar repositories for lisp-inference:
Users that are interested in lisp-inference are comparing it to the libraries listed below
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Updated 6 years ago
- Arbitrary precision, automatic re-computing real numbers in Common Lisp.☆31Updated last year
- ☆40Updated 2 months ago
- Haskell Semantics with Lisp Syntax☆68Updated 11 years ago
- lux - a simple library for creating real-time graphical apps☆30Updated 3 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 3 months ago
- ☆18Updated this week
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- Substratic Engine - A game engine for Gambit Scheme☆11Updated 4 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- A logic programming library for Common Lisp.☆59Updated 4 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- Livin' like it's 1813 (or 1988).☆31Updated 11 months ago
- Bringing the terseness of Arc to Common Lisp. Originally at https://github.com/malisper/Clamp.☆10Updated 4 years ago
- Get the size of the terminal from Common Lisp☆12Updated 7 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆18Updated 8 years ago
- Don't Lisp, Talk!☆57Updated 9 months ago
- Pong implemented in Common Lisp using trivial-gamekit☆10Updated 6 years ago
- Forth emulator, as a Racket #lang☆21Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- Glyphs - Reducing Common Lisp verbosity☆29Updated 6 years ago
- Extended OpenGL bindings for Racket☆48Updated 5 years ago
- Easy scripting for DrRacket☆18Updated 2 months ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Abacus – Unified Syntax for Pattern Matching over Algebraic Types in Common Lisp☆27Updated 9 years ago
- The package manager for Cyclone Scheme.☆29Updated 11 months ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆21Updated 3 years ago
- A simple directed graph implementation for Common Lisp.☆25Updated last year