GrammaTech / resolve
Resolve software differencing and merging
☆37Updated 2 years ago
Alternatives and similar repositories for resolve:
Users that are interested in resolve are comparing it to the libraries listed below
- An experimental Racket implementation using LLVM/MLIR☆61Updated last year
- A Common Lisp implementation of TLS1.3☆47Updated 5 years ago
- A logic programming library for Common Lisp.☆59Updated 4 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆23Updated 4 months ago
- Common Lisp DSL for building untyped lambda calculus expressions☆24Updated last month
- Resilient replicant Shell Programming Library for Common Lisp☆21Updated 5 months ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- A SIMD-accelerated concurrent hash table.☆61Updated 2 years ago
- A simple incomplete Scheme-to-C compiler☆66Updated this week
- Prototypes: Object Orientation, Functionally☆42Updated 4 months ago
- Concrete Syntax Trees represent s-expressions with source information☆60Updated last year
- Video file decoding in Common Lisp☆20Updated 7 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆50Updated 8 years ago
- Common Lisp symbols separated into packages according to their purity☆33Updated 7 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 3 months ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Module system for languages that compile to Common Lisp☆60Updated last year
- Build a terminal application in no time from an existing library.☆36Updated 2 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆32Updated 3 years ago
- A 2D RPG implemented in the Rhombus Racket dialect☆51Updated last year
- Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…☆60Updated last year
- A portable type inference library for Common Lisp☆39Updated last year
- Light Weight Cells☆18Updated 3 months ago
- Livin' like it's 1813 (or 1988).☆31Updated 10 months ago
- 80% xectors☆42Updated 2 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 4 years ago
- AspectL is a deprecated library that provides some experimental aspect-oriented extensions for Common Lisp / CLOS.☆12Updated 8 years ago
- Simple library for generating binary WebAssembly files☆12Updated 3 years ago
- Assembler framework for Common Lisp.☆34Updated last month
- Persistent data structures in Common Lisp☆18Updated last year