Alternatives and similar repositories for kenzo

Users that are interested in kenzo are comparing it to the libraries listed below

• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆33Updated last year
• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…
  ☆29Updated 2 weeks ago
• richmit / mjrcalc
  LISP Mathematical Library
  ☆23Updated 2 years ago
• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆48Updated 8 years ago
• racket / math
  ☆38Updated 3 weeks ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆35Updated 5 years ago
• jmbr / maxima-interface
  Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface
  ☆18Updated 2 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• mkoeppe / cl-bibtex
  A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
  ☆26Updated 6 years ago
• markcox80 / specialization-store
  A different type of generic function for common lisp.
  ☆30Updated 4 years ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆62Updated 4 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆100Updated 11 years ago
• tpapp / lla
  Lisp Linear Algebra
  ☆91Updated 2 years ago
• fare / lisp-interface-library
  LIL: abstract interfaces and supporting concrete data-structures in Common Lisp
  ☆147Updated last year
• ruricolist / vernacular
  Module system for languages that compile to Common Lisp
  ☆60Updated last year
• soegaard / sci
  Racket libraries for scientific computing
  ☆18Updated 3 months ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated last year
• marcoheisig / Loopus
  A portable loop optimization framework for Common Lisp
  ☆55Updated 2 years ago
• marcoheisig / Typo
  A portable type inference library for Common Lisp
  ☆41Updated this week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated this week
• lokedhs / maxima-client
  Maxima client
  ☆51Updated 2 years ago
• eugeneia / maxpc
  Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
  ☆49Updated 4 years ago
• pcostanza / filtered-functions
  Filtered functions provide an extension of CLOS generic function invocation that add a simple preprocessing step before the actual method…
  ☆45Updated 9 years ago
• stylewarning / cl-permutation
  Permutations and permutation groups in Common Lisp.
  ☆50Updated last year
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆34Updated 3 years ago
• Bike / introspect-environment
  CL environment introspection portability layer
  ☆41Updated last year
• s-expressionists / Trucler
  Environment protocol for Common Lisp compilers.
  ☆33Updated last year
• phoe / petri
  Implementation of Petri nets in Common Lisp
  ☆25Updated 5 years ago
• earl-kent / cl-garnet
  Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.
  ☆56Updated 3 years ago
• zellio / j-mode
  Emacs major mode for editing J code.
  ☆49Updated 8 months ago