Alternatives and similar repositories for cl-smt-lib

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

• sjl / temperance
  A logic programming library for Common Lisp.
  ☆63Updated 5 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆45Updated 3 months ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆29Updated 5 months ago
• greghendershott / pdb
  Multi-file check-syntax database
  ☆14Updated last year
• rmculpepper / sexp-rewrite
  emacs package for pattern-based rewriting of sexp-structured code
  ☆40Updated 4 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆33Updated 3 weeks ago
• stamourv / sexp-diff
  S-expression-aware diffing tool based on Levenshtein-like tree edit distance.
  ☆23Updated 4 years ago
• guicho271828 / ArriVAL
  Yet Another Classical planning plan validator written in modern Common Lisp
  ☆12Updated 4 years ago
• GrammaTech / cl-utils
  GrammaTech Common Lisp Utilities
  ☆22Updated last month
• david-christiansen / dr-racket-like-unicode
  A clone of DrRacket-style Unicode symbol input for Emacs
  ☆16Updated 3 years ago
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆18Updated last month
• pykello / racket-graphviz
  Library to enable using graphviz in Racket programs
  ☆25Updated 4 years ago
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆12Updated 5 years ago
• panicz / sracket
  SLAYER ported to Racket
  ☆21Updated 6 years ago
• stchang / mlish
  ☆22Updated 5 years ago
• lexi-lambda / functional
  Functional interfaces and datatypes for Racket
  ☆43Updated 4 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆39Updated 4 years ago
• mighty-gerbils / gerbil-ethereum
  Ethereum support for Gerbil Scheme
  ☆19Updated 6 months ago
• alex-hhh / map-widget
  A Racket GUI Widget to display maps based on OpenStreetMap tiles
  ☆41Updated last year
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆31Updated 3 years ago
• rmculpepper / sql
  Embedding of some of SQL into Racket
  ☆34Updated 3 years ago
• rfindler / lindenmayer
  ☆27Updated 2 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆33Updated last year
• AlexKnauth / debug
  a racket lang-extension for debugging, and a macro for inserting a debug-repl
  ☆36Updated 2 months ago
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆18Updated 9 years ago
• pkhuong / Xecto
  80% xectors
  ☆47Updated 3 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆23Updated 4 years ago
• wmannis / cl-gambol
  Basic Prolog functionality for Common Lisp
  ☆21Updated 7 years ago
• yjqww6 / racket-x64asm
  a simple x64 assembler written in typed/racket
  ☆18Updated 4 years ago