GitHub repository: BartJongejan/Bracmat
Primary language: C
Description: Programming language for symbolic computation with unusual combination of pattern matching features:  Tree patterns, associative patterns and expressions embedded in patterns.