I'll add a few to the missing list: - Coq - Unison - Inko - Gren - SkookumScript (https://skookumscript.com/ https://skookumscript.com/) Also the many tin

I'll add a few to the missing list: - Coq - Unison - Inko - Gren - SkookumScript (https://skookumscript.com/ https://skookumscript.com/) Also the many tiny hobby languages posted on https://www.reddit.com/r/ProgrammingLanguages/ https://www.reddit.com/r/ProgrammingLanguages/ and sometimes to HN/Lobsters. You could add a feature that, every time a language isn't recognized, it's saved and the user can submit a URL to prove its existence.