GrammaTech / resolve
Resolve software differencing and merging
☆37Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for resolve
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆18Updated 2 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated last year
- Resilient replicant Shell Programming Library for Common Lisp☆21Updated 3 months ago
- Prototypes: Object Orientation, Functionally☆41Updated 2 months ago
- Prototype Object Orientation for Gerbil Scheme☆23Updated 3 months ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 7 years ago
- Concrete Syntax Trees represent s-expressions with source information☆59Updated last year
- A simple incomplete Scheme-to-C compiler☆66Updated last month
- Persistent data structures in Common Lisp☆18Updated last year
- emacs package for pattern-based rewriting of sexp-structured code☆37Updated 2 years ago
- An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp☆21Updated 2 months ago
- Racket parser combinators inspired by parsack and megaparsec☆77Updated last month
- A Common Lisp implementation of TLS1.3☆47Updated 5 years ago
- Common Lisp implementation of rope datastructure☆34Updated 2 months ago
- Source-to-Image builder for Common Lisp applications on OpenShift☆29Updated 6 months ago
- A 2D RPG implemented in the Rhombus Racket dialect☆51Updated last year
- Common Lisp symbols separated into packages according to their purity☆33Updated 7 years ago
- Light Weight Cells☆17Updated last month
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 3 months ago
- A logic programming library for Common Lisp.☆58Updated 3 years ago
- Generating and managing callbacks from C into Heaven (Lisp).☆12Updated 4 years ago
- Write and render mind-maps in Racket☆20Updated 4 years ago
- The Ops5 programming language for production systems☆36Updated 4 years ago
- Functional utilities for Common Lisp☆30Updated 3 months ago
- A common lisp library to unify access to common dictionary-like data-structures☆85Updated 8 months ago
- ☆19Updated last year
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆102Updated 2 years ago
- R7RS/R6RS Scheme Implementation☆56Updated last year
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆14Updated 2 years ago