SymDiff-Differential-Program-Verifier
-
Updated
Nov 7, 2024 - Boogie
#
semantic-diff
Here are 11 public repositories matching this topic...
Tools for working with KGCL
diffs
diff
semantic-diff
rdf
owl
ontology
knowledge-graph
kg
obofoundry
linkml
ontology-change-language
-
Updated
May 11, 2023 - Python
Awesome tools that show differences between files and folders.
-
Updated
May 3, 2024
Exploratory statistical data analysis of subjective ratings of speakers' social characteristics. R Markdown files.
semantic-diff
speaker-data
listening-tests
speaker-characteristics
statistical-data-analysis
voice-descriptions
questionnaire-items
-
Updated
Jun 11, 2018 - MATLAB
Java GUI for labeling speech files in terms of social speaker characteristics (likable, attractive, competent, childish, etc.).
-
Updated
Apr 6, 2018 - Java
A generic, semantic tree-diff algorithm for XML-shaped documents & a frontend for comparing query plans from different database systems
-
Updated
Aug 14, 2023 - TypeScript
Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".
-
Updated
May 20, 2019 - C
Experiment about a semantic-based diff tool for Java language.
-
Updated
Mar 28, 2015 - ANTLR
A semantic diff tool for CPEE process trees.
-
Updated
Nov 11, 2021 - JavaScript
It is a program for semantic lisp diff. Now it supports only a small subset of Common Lisp.
-
Updated
Nov 27, 2022 - Common Lisp
Community support for SemanticDiff, the programming language aware diff for Visual Studio Code and GitHub.
diff
semantic-diff
vscode
pull-request
vscode-extension
review-tools
github-apps
pull-request-review
-
Updated
May 3, 2024
Improve this page
Add a description, image, and links to the semantic-diff topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the semantic-diff topic, visit your repo's landing page and select "manage topics."