Vouivre

A dependent type system for machine learning in Lisp
Is freely licensed? ✅
Website https://vouivredigital.com
Source git://git.vouivredigital.com/vouivre.git
NLNet grant pages