Alternatives and similar repositories for kenzo:

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

• ioannad / jeffrey
  Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.
  ☆26Updated 2 years ago
• stylewarning / computable-reals
  Arbitrary precision, automatic re-computing real numbers in Common Lisp.
  ☆31Updated 11 months ago
• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆47Updated 8 years ago
• richmit / mjrcalc
  LISP Mathematical Library
  ☆23Updated 2 years ago
• 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
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆97Updated 11 years ago
• racket / math
  ☆34Updated last month
• fare / lisp-interface-library
  LIL: abstract interfaces and supporting concrete data-structures in Common Lisp
  ☆145Updated last year
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆70Updated last year
• jmbr / maxima-interface
  Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface
  ☆17Updated last year
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 2 years ago
• arcfide / chez-sockets
  Full Blown, portable, and extensible sockets library for Chez Scheme
  ☆37Updated 7 years ago
• marcoheisig / Typo
  A portable type inference library for Common Lisp
  ☆39Updated last year
• cosmos72 / cl-parametric-types
  (BETA) C++-style templates for Common Lisp
  ☆45Updated 6 years ago
• markcox80 / specialization-store
  A different type of generic function for common lisp.
  ☆30Updated 4 years ago
• sirherrbatka / cl-data-structures
  Data Structures and streaming algorithms for Common Lisp.
  ☆48Updated last week
• blindglobe / lisp-matrix
  A matrix package for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif.
  ☆70Updated 7 years ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆33Updated 4 years ago
• fare / fare-quasiquote
  Portable implementation of quasiquote for Common Lisp
  ☆27Updated 4 years ago
• didierverna / declt
  Reference manual generator for Common Lisp libraries
  ☆39Updated last month
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆155Updated 5 months ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆59Updated 4 years ago
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆54Updated last month
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆31Updated 10 months ago
• quil-lang / alexa
  A Lexical Analyzer Generator
  ☆60Updated last month
• hraban / cl-graph
  Common Lisp library for manipulating graphs and running graph algorithms
  ☆73Updated 10 months ago
• masonium / cl-autodiff
  automatic differentiation library for common lisp
  ☆20Updated 11 years ago
• phoe / clus-data
  Data for Common Lisp UltraSpec - http://phoe.tymoon.eu/clus/
  ☆45Updated 3 years ago
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated 2 years ago
• Metaxal / rascas
  Computer Algebra System for Racket
  ☆19Updated last year