Pemilik · AndrasKovacs

AndrasKovacs

Repositori open source terpantau milik AndrasKovacs, diurutkan berdasarkan bintang.

2 repositori

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Implementasi minimal untuk pemeriksaan dan elaborasi tipe dependen.
★ 797+2Perubahan bintang dalam 7 hari terakhir
#2
smalltt ↗@AndrasKovacsLean
Demo untuk elaborasi teori tipe berkinerja tinggi
★ 600+2Perubahan bintang dalam 7 hari terakhir