Repositori open source terpantau milik sweirich, diurutkan berdasarkan bintang.
Implementasi demo bahasa dependently-typed sederhana
