Ari

Purely functional programming language designed to "type" binary files
Is freely licensed? ✅
Website https://gitlab.com/ari-lang/ari
NLNet grant pages