Instiki

。のちに、CommonMarkベースの仕様に更新している。 Bitbucketは、README記述用のマークアップ言語の選択肢としてMarkdownを提供している。 Instiki（英語版）はMarkdown拡張を使ってウィキ構文を提供している。この拡張構文はMarukuと呼ばれる。

nLabは、2008年11月28日にシュライバーによって立ち上げられた。このとき使われたのが、ジャック・ディスラー（英語版）がメンテナンスしているInstiki（英語版）というソフトウェアだった。2015年5月以降、nLabはカーネギーメロン大学のサーバー上にある。このサーバーは、スティーブ・アウディー（英語版）のHoTT