ryukinix / lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
☆40Updated 5 years ago
Related projects: ⓘ
- 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 7 months ago
- A logic programming library for Common Lisp.☆57Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆29Updated 2 years ago
- A C implementation of the Shen programming language☆69Updated 2 years ago
- ☆39Updated last month
- Racket parser combinators inspired by parsack and megaparsec☆76Updated 2 years ago
- Auto define Racket bindings to C by parsing header files.☆28Updated 2 years ago
- Glyphs - Reducing Common Lisp verbosity☆29Updated 6 years ago
- Don't Lisp, Talk!☆58Updated 5 months ago
- Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.☆44Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆30Updated 6 months ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆14Updated 9 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆31Updated 2 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated last month
- racket-cheat - a cheat sheet for Racket☆36Updated last month
- Common Lisp with Arc Macros and Procedures☆71Updated 8 years ago
- ☆17Updated 7 years ago
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- A simple directed graph implementation for Common Lisp.☆24Updated 10 months ago
- Common Lisp Mustache Template Renderer☆46Updated 4 years ago
- Canonical miniKanren implementation in Racket☆83Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 10 years ago
- The package manager for Cyclone Scheme.☆28Updated 7 months ago
- An implementation of Scheme embedded in Common Lisp☆24Updated 12 years ago
- This is a mirror of the official cmucl repo at gitlab.common-lisp.net☆28Updated 3 weeks ago
- ☆19Updated this week
- Extended OpenGL bindings for Racket☆48Updated 5 years ago