Alternatives and similar repositories for resolve:

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

• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆42Updated 5 months ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆18Updated 2 years ago
• wingo / whiffle
  A simple incomplete Scheme-to-C compiler
  ☆67Updated last week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 4 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated 11 months ago
• s-expressionists / Concrete-Syntax-Tree
  Concrete Syntax Trees represent s-expressions with source information
  ☆60Updated last year
• fujita-y / ypsilon
  R7RS/R6RS Scheme Implementation
  ☆57Updated last year
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• harsman / dyalog-mode
  Emacs major mode for Dyalog APL
  ☆15Updated 2 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆108Updated 2 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• ravi-delia / uclp
  An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
  ☆25Updated 5 months ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆60Updated 15 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆24Updated 2 months ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated last week
• pkhuong / Xecto
  80% xectors
  ☆42Updated 3 years ago
• stylewarning / cl-permutation
  Permutations and permutation groups in Common Lisp.
  ☆50Updated last year
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 4 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 9 years ago
• kchanqvq / lwcells
  Light Weight Cells
  ☆18Updated 4 months ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆59Updated 4 years ago
• cbaggers / tamei
  Common Lisp symbols separated into packages according to their purity
  ☆33Updated 7 years ago
• aartaka / stdlambda
  Standard library for Lambda Calculus, finally making LC a practical programming language.
  ☆14Updated last month
• scymtym / sbcl-ir-visualizer
  ☆26Updated last year
• mthom / scryer-shen
  ☆45Updated 3 months ago
• s-expressionists / Cleavir
  an implementation-independent framework for creating Common Lisp compilers
  ☆52Updated 5 months ago
• container-lisp / s2i-lisp
  Source-to-Image builder for Common Lisp applications on OpenShift
  ☆31Updated 9 months ago
• Shinmera / binary-structures
  A library for reading, writing, and representing structures from binary storage
  ☆18Updated 5 months ago