gheber / kenzo

Related projects ⓘ

Alternatives and complementary repositories for kenzo

• OdonataResearchLLC / weyl
  This repository contains an updated version of the Weyl computer algebra substrate from Cornell University. It is ASDF loadable, and uses…
  ☆46Updated 7 years ago
• 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 9 months ago
• leanprover / lean3-mode
  Emacs mode for Lean
  ☆69Updated last year
• richmit / mjrcalc
  LISP Mathematical Library
  ☆21Updated 2 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆30Updated 8 months ago
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 2 years ago
• racket / math
  ☆34Updated this week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• soegaard / racket-cas
  Simple computer algebra system
  ☆61Updated last month
• rmculpepper / sql
  Embedding of some of SQL into Racket
  ☆33Updated 2 years ago
• haskell-lisp / yale-haskell
  HASKELL: Yale Haskell system written in Lisp
  ☆96Updated 10 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated this week
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆69Updated 3 weeks ago
• jmbr / maxima-interface
  Simple interface between Common Lisp and Maxima. Moved to https://git.sr.ht/~jmbr/maxima-interface
  ☆17Updated last year
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 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 5 years ago
• fare / fare-quasiquote
  Portable implementation of quasiquote for Common Lisp
  ☆27Updated 4 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆31Updated 2 years ago
• arcfide / chez-sockets
  Full Blown, portable, and extensible sockets library for Chez Scheme
  ☆36Updated 7 years ago
• robert-dodier / maxima-asdf
  Define maxima-file component to handle Maxima files in ASDF.
  ☆10Updated 9 months ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆40Updated 10 months ago
• zellio / j-mode
  Emacs major mode for editing J code.
  ☆45Updated last month
• s-expressionists / Trucler
  Environment protocol for Common Lisp compilers.
  ☆33Updated 10 months ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• Metaxal / rascas
  Computer Algebra System for Racket
  ☆19Updated last year
• michaelballantyne / ee-lib
  ☆12Updated 5 months ago
• markcox80 / specialization-store
  A different type of generic function for common lisp.
  ☆30Updated 4 years ago
• blindglobe / lisp-matrix
  A matrix package for common lisp building on work by Mark Hoemmen, Evan Monroig, Tamas Papp and Rif.
  ☆71Updated 6 years ago
• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆33Updated 4 years ago