Chủ sở hữu · AndrasKovacs

AndrasKovacs

Các kho mã nguồn mở đang theo dõi của AndrasKovacs, sắp xếp theo số sao.

2 kho mã

#1
elaboration-zoo ↗@AndrasKovacsHaskell
Các triển khai tối giản cho việc kiểm tra và xây dựng kiểu phụ thuộc (dependent type)
★ 797+2Thay đổi số sao trong 7 ngày qua
#2
smalltt ↗@AndrasKovacsLean
Bản demo cho việc xây dựng lý thuyết kiểu hiệu năng cao.
★ 600+2Thay đổi số sao trong 7 ngày qua