Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: code-transformations

rhennigan/CodeEquivalenceUtilities

Utilities for testing code equivalence

Language: Mathematica - Size: 3.18 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1

Related Keywords
canonical-forms 1 code-comparison 1 code-transformations 1 education 1 equality 1 equivalence 1 intension 1 metaprogramming 1 type-theory 1 wolfram-language 1