GrammaTech / resolveLinks
Resolve software differencing and merging
☆37Updated 3 years ago
Alternatives and similar repositories for resolve
Users that are interested in resolve are comparing it to the libraries listed below
Sorting:
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆19Updated 3 years ago
- A logic programming library for Common Lisp.☆62Updated 4 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆15Updated 10 years ago
- Concrete Syntax Trees represent s-expressions with source information☆61Updated last month
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated last year
- A functional scripting language compiling to pure Lambda Calculus☆29Updated 4 months ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- Light Weight Cells☆20Updated 11 months ago
- Collection of Utilities for Gerbil Scheme☆44Updated last week
- Permutations and permutation groups in Common Lisp.☆50Updated 2 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- 80% xectors☆46Updated 3 years ago
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Updated 4 years ago
- Functional utilities for Common Lisp☆31Updated 3 months ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 9 months ago
- Prototypes: Object Orientation, Functionally☆46Updated this week
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 8 years ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- Scheme to Common Lisp☆17Updated last year
- An Inference Engine based on Propositional Calculus written in Common Lisp☆50Updated last month
- Module system for languages that compile to Common Lisp☆62Updated last year
- Common Lisp library for Java class file manipulation☆17Updated 3 years ago
- Common Lisp with Arc Macros and Procedures☆75Updated 9 years ago
- An Editor with Generic Semantics for Formal Reasoning About Visual Notations☆19Updated 4 years ago
- GrammaTech Common Lisp Utilities☆21Updated last month