Alternatives and similar repositories for kenzo

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

• richmit / mjrcalc
  LISP Mathematical Library
  ☆24Updated 3 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
• 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…
  ☆28Updated last month
• racket / math
  ☆38Updated 2 months ago
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 2 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆101Updated 11 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
  ☆29Updated 6 years ago
• fare / lisp-interface-library
  LIL: abstract interfaces and supporting concrete data-structures in Common Lisp
  ☆150Updated last year
• rmculpepper / gamble
  Probabilistic Programming
  ☆42Updated last year
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆62Updated 4 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆33Updated last year
• lokedhs / maxima-client
  Maxima client
  ☆51Updated 2 years ago
• fare / fare-quasiquote
  Portable implementation of quasiquote for Common Lisp
  ☆28Updated 4 years ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆64Updated 6 months ago
• wilbowma / scribble-bettergrammar
  A Scribble library for typesetting grammars better
  ☆15Updated 2 years ago
• robert-dodier / maxima-asdf
  Define maxima-file component to handle Maxima files in ASDF.
  ☆12Updated last year
• markcox80 / specialization-store
  A different type of generic function for common lisp.
  ☆30Updated 4 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
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated 2 years ago
• Bike / introspect-environment
  CL environment introspection portability layer
  ☆41Updated last year
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated 3 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• fiddlerwoaroof / data-lens
  Functional utilities for Common Lisp
  ☆31Updated 2 weeks ago
• wedesoft / aiscm
  Guile numerical arrays and tensor extension
  ☆54Updated 5 months ago
• hraban / cl-graph
  Common Lisp library for manipulating graphs and running graph algorithms
  ☆75Updated last year
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆40Updated 3 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
• alex-hhh / data-frame
  A data frame implementation for Racket
  ☆37Updated last year