DoCon
DoCon, Haskell programlama dilinde yazılmış bir bilgisayarlı cebir sistemidir. Orta Rusya'nın Pereslavl-Zalessky şehrinde bulunan Program Sistemleri Enstitüsü'nde (Program Systems Institute) Serge Mechveliani tarafından geliştirilmiştir. Program, kaynak kodu ve ilgili kılavuzuyla birlikte ücretsiz olarak dağıtılmaktadır.