RT @musashino205 Party Parrot とは 〜イカれたオウムの歴史を紐解く〜 - Qiita https://qiita.com/ayatothos/items/0c3da3d48fe8ade705e6
Cayenne (programming language) - Wikipedia https://en.wikipedia.org/wiki/Cayenne_(programming_language)
ちょっと興味が出てきた
CertiKOS@yale: CertiKOS http://flint.cs.yale.edu/certikos/mc2.html