Alternatives and similar repositories for resolve:

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

• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆15Updated last year
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆60Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆43Updated this week
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated last year
• gefjon / immutable
  Persistent data structures in Common Lisp
  ☆18Updated last year
• ravi-delia / uclp
  An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
  ☆25Updated 6 months ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• cl-model-languages / cl-prolog2
  Common Interface to ISO Prolog implementations from Common Lisp
  ☆34Updated 3 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• alex-gutev / wasm-encoder
  Simple library for generating binary WebAssembly files
  ☆12Updated 3 years ago
• c-jullien / lelisp
  Le-Lisp by INRIA
  ☆28Updated 2 years ago
• scymtym / sbcl-ir-visualizer
  ☆26Updated last year
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• szos / cl-advice
  A simple advice system for Common Lisp
  ☆25Updated 2 years ago
• s-expressionists / ctype
  CL type system implementation
  ☆26Updated 3 months ago
• kchanqvq / lwcells
  Light Weight Cells
  ☆18Updated 5 months ago
• no-defun-allowed / bailout
  Supervisor trees (and some more) for Common Lisp
  ☆21Updated 4 years ago
• mateuszb / tls1.3
  A Common Lisp implementation of TLS1.3
  ☆47Updated 5 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆25Updated 3 months ago
• sanel / magic-ed
  Editing facility for Common Lisp REPL
  ☆25Updated 5 years ago
• sharplispers / ops5
  The Ops5 programming language for production systems
  ☆37Updated 5 years ago
• vseloved / const-table
  Minimal Perfect Hash-Table CL Implementation
  ☆14Updated 7 years ago
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆57Updated last year
• pkhuong / Xecto
  80% xectors
  ☆42Updated 3 years ago
• aartaka / stdlambda
  Standard library for Lambda Calculus, finally making LC a practical programming language.
  ☆14Updated 2 months ago
• sharplispers / pseudoscheme
  An implementation of Scheme embedded in Common Lisp
  ☆25Updated 13 years ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 2 years ago