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
- Light Weight Cells☆20Updated 10 months ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 5 years ago
- A logic programming library for Common Lisp.☆62Updated 4 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆24Updated 11 months ago
- Livin' like it's 1813 (or 1988).☆33Updated last year
- Permutations and permutation groups in Common Lisp.☆50Updated 2 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Updated 3 years ago
- 80% xectors☆46Updated 3 years ago
- An Inference Engine based on Propositional Calculus written in Common Lisp☆48Updated 2 weeks ago
- Functional utilities for Common Lisp☆31Updated 2 months ago
- ☆26Updated 2 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 8 years ago
- Prototypes: Object Orientation, Functionally☆46Updated 2 weeks ago
- Editing facility for Common Lisp REPL☆26Updated 5 years ago
- Concrete Syntax Trees represent s-expressions with source information☆61Updated last week
- A SIMD-accelerated concurrent hash table.☆63Updated 2 years ago
- A functional scripting language compiling to pure Lambda Calculus☆29Updated 3 months ago
- Common Interface to ISO Prolog implementations from Common Lisp☆34Updated 3 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Updated 9 months ago
- Assembler framework for Common Lisp.☆37Updated 5 months ago
- Basic Prolog functionality for Common Lisp☆21Updated 7 years ago
- Lockless data structures for Common Lisp☆22Updated 3 weeks ago
- Build a terminal application in no time from an existing library.☆39Updated 2 years ago
- Common Lisp bytecode compiler☆14Updated 2 weeks ago
- An implementation of Scheme embedded in Common Lisp☆25Updated 13 years ago
- Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…☆60Updated 2 years ago
- CL type system implementation☆28Updated 3 months ago
- Render math formulas in 2D in your terminal!☆54Updated 3 years ago
- Module system for languages that compile to Common Lisp☆62Updated last year