Pinned Repositories
complib
CompLib is a Python library to define and test properties of functions from natural numbers into natural numbers. It allows to easily create and test semi-deciders for recursively enumerable sets of functions. It is an handy library to experiment with some aspects of the Computability Theory.
paradiff
Paradiff is Andrea Aquino's (master thesis) diffing algorithm. It computes the list of differences between two XML documents (represented through the lxml library) using a parametric user-defined list of transformation functions.
tree-sitter-hack
Hack grammar for tree-sitter
andryak's Repositories
andryak/tree-sitter-hack
Hack grammar for tree-sitter
andryak/complib
CompLib is a Python library to define and test properties of functions from natural numbers into natural numbers. It allows to easily create and test semi-deciders for recursively enumerable sets of functions. It is an handy library to experiment with some aspects of the Computability Theory.
andryak/paradiff
Paradiff is Andrea Aquino's (master thesis) diffing algorithm. It computes the list of differences between two XML documents (represented through the lxml library) using a parametric user-defined list of transformation functions.