Alternatives and similar repositories for lisp-inference:

Users that are interested in lisp-inference are comparing it to the libraries listed below

• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆32Updated last year
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆61Updated 4 years ago
• jpellegrini / spartns
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Updated 7 years ago
• malisper / Clamp
  Common Lisp with Arc Macros and Procedures
  ☆74Updated 8 years ago
• ahungry / glyphs
  Glyphs - Reducing Common Lisp verbosity
  ☆30Updated 6 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆34Updated 3 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• Ramarren / cl-parser-combinators
  An experimental implementation of parser combinators in Common Lisp
  ☆80Updated 11 years ago
• jeapostrophe / lux
  lux - a simple library for creating real-time graphical apps
  ☆30Updated 3 years ago
• wadehennessey / rtgc
  ☆18Updated 8 years ago
• racket / plot
  ☆43Updated 2 months ago
• vseloved / cl-parsec
  Parser combinators in Common Lisp
  ☆23Updated 15 years ago
• olivermg / owlisp
  A Common Lisp compiler, designed to compile to C (and from there to native code or JavaScript)
  ☆28Updated 10 years ago
• racket / swindle
  ☆11Updated 2 months ago
• webyrd / hindley-milner-type-inferencer
  Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
  ☆21Updated 10 years ago
• cbaggers / tamei
  Common Lisp symbols separated into packages according to their purity
  ☆33Updated 7 years ago
• rpav / CheckL
  Why write programs in Common Lisp but tests like Java? Meet CheckL!
  ☆45Updated 7 years ago
• mark-gerarts / cl-pong
  Pong implemented in Common Lisp using trivial-gamekit
  ☆10Updated 6 years ago
• eugeneia / maxpc
  Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
  ☆50Updated 4 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• eudoxia0 / terminal-size
  Get the size of the terminal from Common Lisp
  ☆12Updated 7 years ago
• lexi-lambda / envy
  An environment variable manager for Racket applications
  ☆17Updated 2 years ago
• sjl / cl-digraph
  A simple directed graph implementation for Common Lisp.
  ☆29Updated last year
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 9 months ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• Conservatory / s7
  s7 Scheme
  ☆58Updated 6 years ago
• nineties-retro / sps
  Pre-Scheme to (GNU) C compiler written in Pre-Scheme
  ☆35Updated 11 years ago
• lexi-lambda / megaparsack
  Racket parser combinators inspired by parsack and megaparsec
  ☆80Updated 6 months ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆84Updated 3 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago