2 repositories on SrcLog
Formalization of Typed Assembly Language (TAL) in Coq
Curry language support in Atom