Projects in Awesome Lists tagged with structural-diff
A curated list of projects in awesome lists tagged with structural-diff .
https://github.com/hofstadter-io/cuetils
CLI and library for diff, patch, and ETL operations on CUE, JSON, and Yaml
configuration cue cuelang diff etl golang jq json structural-diff yaml
Last synced: 23 Aug 2025
https://github.com/xieyuheng/skolem
an ACL2 style theorem prover with structural diff, embedded in scheme.
acl2 prover scheme structural-diff
Last synced: 16 Jan 2026
