SPADE is a language designed to parse, validate, and allow access to discrete math data structures. Github page is at https://github.com/ReduxISU/SPADE
Documentation can be found on github here
SPADE was originally developed by Russell Phillips as an undergraduate at Idaho State University.