Skip to content

Tritlo/spectacular

Repository files navigation

Spectacular

DOI

Welcome to the Spectacular project, a re-envisioning of QuickSpec using ECTAs.

Since we rely on modifying the enumeration of ECTAs, we also ship a modified version of the ecta-library. For Spectacular itself, check out the spectacular/ subdirectory! To see it in action, run cabal build in the spectacular/ sub-directory, and then run the ./benchmarks.sh.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Packages

 
 
 

Contributors

Languages