WandaHOT Files

a termination analysis tool for higher-order term rewriting systems

Brought to you by: hezzel

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
wanda22_source_and_executable.tar.gz	2020-05-08	18.1 MB
wanda21_executable.tar.gz	2013-11-01	2.7 MB
wanda21_source.tar.gz	2013-11-01	6.1 MB
wanda20_executable.tar.gz	2012-10-19	37.6 MB
wanda20_source.tar.gz	2012-09-15	5.9 MB
Totals: 5 Items		70.4 MB

Other Useful Business Software

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
Higher
higher is a pytorch library
Reduce.jl
Symbolic parser for Julia language term rewriting using REDUCE algebra
react-redux-firebase
Redux bindings for Firebase. Includes React Hooks and Higher Order
Recompose
React utility belt for function components and higher-order components