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
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆62Updated last year
• stylewarning / callback-heaven
  Generating and managing callbacks from C into Heaven (Lisp).
  ☆12Updated 5 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated 2 weeks ago
• aartaka / stdlambda
  Standard library for Lambda Calculus, finally making LC a practical programming language.
  ☆14Updated 3 months ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆44Updated 3 weeks ago
• Ramarren / ropes
  Common Lisp implementation of rope datastructure
  ☆37Updated 8 months ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆26Updated 5 months ago
• phoe / with-branching
  An implementation of macroexpand-time conditionalization.
  ☆13Updated last year
• ravi-delia / uclp
  An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp
  ☆24Updated 8 months ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• ashton314 / lambda-x86
  Lambda Calculus compiler targeting x86, written in Racket
  ☆10Updated 4 years ago
• mighty-gerbils / gerbil-utils
  Collection of Utilities for Gerbil Scheme
  ☆43Updated 9 months ago
• pkhuong / Xecto
  80% xectors
  ☆42Updated 3 years ago
• kchanqvq / lwcells
  Light Weight Cells
  ☆19Updated 7 months ago
• sjl / temperance
  A logic programming library for Common Lisp.
  ☆62Updated 4 years ago
• gefjon / immutable
  Persistent data structures in Common Lisp
  ☆18Updated 2 years ago
• racket / honu
  ☆19Updated 2 years ago
• glv2 / bst
  Binary Search Tree
  ☆9Updated 2 years ago
• cbaggers / tamei
  Common Lisp symbols separated into packages according to their purity
  ☆33Updated 8 years ago
• mateuszb / tls1.3
  A Common Lisp implementation of TLS1.3
  ☆47Updated 5 years ago
• s-expressionists / Maclina
  Common Lisp bytecode compiler
  ☆12Updated this week
• jar398 / pseudoscheme
  Scheme to Common Lisp
  ☆16Updated last year
• melvinzhang / maru
  A compiler to IA32 and REPL for maru in maru under 7k s-expressions
  ☆16Updated 5 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• stchang / mlish
  ☆22Updated 5 years ago
• sharplispers / ops5
  The Ops5 programming language for production systems
  ☆38Updated 5 years ago
• telekons / 42nd-at-threadmill
  A SIMD-accelerated concurrent hash table.
  ☆63Updated 2 years ago
• mattmight / derp2
  A parser tool for Racket with an expressive grammar notation
  ☆20Updated 10 years ago