Alternatives and similar repositories for cl-sat

Users that are interested in cl-sat are comparing it to the libraries listed below

• Neronus / CL-CUDD
  Common lisp bindings to CUDD.
  ☆12Updated 7 years ago
• angavrilov / cl-simd
  SSE intrinsics implementation for ECL & SBCL
  ☆22Updated 9 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
• marcoheisig / numpy-file-format
  Read and write Numpy .npy and .npz files.
  ☆17Updated 2 years ago
• s-expressionists / Trucler
  Environment protocol for Common Lisp compilers.
  ☆34Updated last year
• s-expressionists / ctype
  CL type system implementation
  ☆28Updated 4 months ago
• marcoheisig / lang
  A library for seamless multi-language programming.
  ☆38Updated 8 months ago
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆61Updated last month
• lisp / de.setf.wilbur
  a fork of net.sourceforge.wilbur updated for mcl and sbcl
  ☆26Updated 4 years ago
• Shinmera / portability
  Index page for Common Lisp portability libraries and their current support status
  ☆31Updated last month
• szos / cl-advice
  A simple advice system for Common Lisp
  ☆25Updated 2 years ago
• cosmos72 / hyperluminal-mem
  High performance serialization library for Common Lisp
  ☆49Updated 4 years ago
• marcoheisig / Typo
  A portable type inference library for Common Lisp
  ☆43Updated 4 months ago
• digikar99 / unboxables
  A simple wrapper around CFFI to enable contiguously allocated arrays of structures in Common Lisp.
  ☆19Updated 2 years ago
• mrossini-ethz / physical-quantities
  A common lisp library that provides a numeric type with optional unit and/or uncertainty for computations with automatic error propagatio…
  ☆33Updated 4 years ago
• TeMPOraL / tracer
  Tracing profiler for Common Lisp
  ☆56Updated 5 years ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆35Updated 3 years ago
• markcox80 / specialization-store
  A different type of generic function for common lisp.
  ☆30Updated 5 years ago
• pnathan / genhash
  http://cdr.eurolisp.org/document/2/
  ☆17Updated 3 weeks ago
• plotnick / clweb
  A literate programming system for Common Lisp.
  ☆24Updated 4 years ago
• guicho271828 / common-lisp-project-ideas
  Discuss future project ideas
  ☆12Updated 8 years ago
• Bike / compiler-macro
  CL compiler macro utilities.
  ☆69Updated 5 years ago
• sbcl / specializable
  generalized specializers work
  ☆15Updated 7 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
• scymtym / sbcl-ir-visualizer
  ☆26Updated 2 years ago
• marcoheisig / Loopus
  A portable loop optimization framework for Common Lisp
  ☆57Updated 3 years ago
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆17Updated last year
• Bike / introspect-environment
  CL environment introspection portability layer
  ☆41Updated last year
• SeijiKoide / SWCLOS
  Lisp-based OWL Full Processor on top of Common Lisp Object System (CLOS), See http://www-kasm.nii.ac.jp/~koide/SWCLOS2-en.htm
  ☆17Updated 6 years ago