Alternatives and similar repositories for computable-reals

Users that are interested in computable-reals are comparing it to the libraries listed below

• sjl / temperance
  A logic programming library for Common Lisp.
  ☆63Updated 4 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆38Updated 4 years ago
• ruricolist / vernacular
  Module system for languages that compile to Common Lisp
  ☆63Updated last year
• 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
• ryukinix / lisp-inference
  An Inference Engine based on Propositional Calculus written in Common Lisp
  ☆51Updated 3 weeks ago
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆53Updated last week
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆61Updated 3 months ago
• robert-strandh / Bootstrap-Common-Lisp
  An implementation of Common Lisp with the sole purpose of bootstrapping other implementations.
  ☆60Updated 4 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
• stylewarning / lisp-random
  A smattering of random Lisp code by Robert Smith
  ☆76Updated 7 months ago
• wadehennessey / wcl
  ☆81Updated 8 years ago
• kstephens / tinyclos
  Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/
  ☆60Updated 14 years ago
• cbaggers / tamei
  Common Lisp symbols separated into packages according to their purity
  ☆33Updated 8 years ago
• fare / fare-quasiquote
  Portable implementation of quasiquote for Common Lisp
  ☆29Updated 5 years ago
• cbaggers / rtg-math
  common lisp library providing common math functions used in games
  ☆58Updated 6 years ago
• earl-kent / cl-garnet
  Old, but suprisingly complete toolkit with no dependancies on other non-lisp libraries.
  ☆58Updated 3 years ago
• ruricolist / overlord
  Build system in Common Lisp
  ☆62Updated last week
• Shinmera / 3d-vectors
  A library for 2D, 3D, and 4D vectors in CL.
  ☆30Updated 3 months ago
• borodust / bodge-ui
  High-level immediate mode user interface library based on Nuklear IM GUI library
  ☆18Updated 4 years ago
• s-expressionists / Eclector
  A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
  ☆122Updated this week
• jingtaozf / literate-lisp
  Load Common Lisp code blocks from Org files
  ☆68Updated 2 years ago
• logicmoo / wam_common_lisp
  Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…
  ☆102Updated 4 years ago
• Bike / introspect-environment
  CL environment introspection portability layer
  ☆41Updated last year
• lokedhs / maxima-client
  Maxima client
  ☆51Updated 3 years ago
• marcoheisig / Loopus
  A portable loop optimization framework for Common Lisp
  ☆58Updated 3 years ago
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆64Updated 2 years ago
• marcoheisig / the-cost-of-nothing
  Determine the cost of things in Common Lisp.
  ☆69Updated 6 years ago
• richmit / mjrcalc
  LISP Mathematical Library
  ☆24Updated 3 years ago
• Shinmera / luckless
  Lockless data structures for Common Lisp
  ☆22Updated 3 months ago
• joachifm / cl-webkit
  A binding to WebKitGTK+ for Common Lisp
  ☆55Updated last year