Popular repositories Loading

1. paradiff paradiff Public

   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 l…

   Python 1

2. complib complib Public

   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 o…

   Python

3. tree-sitter-hack tree-sitter-hack Public

   Forked from slackhq/tree-sitter-hack

   Hack grammar for tree-sitter

   JavaScript

4. pydantic-settings pydantic-settings Public

   Forked from pydantic/pydantic-settings

   Settings management using pydantic

   Python

5. unidiff-rs unidiff-rs Public

   Forked from messense/unidiff-rs

   Unified diff parsing/metadata extraction library for Rust

   Rust

6. claude-agent-sdk-rs claude-agent-sdk-rs Public

   Forked from tyrchen/claude-agent-sdk-rs

   Rust