Public Notes on
View Public Collections
Ngram Type ranelpadon.github.io
Touch typing trainer using Ngrams as data source, with option to customize the auto-generated lesson and specify the minimum typing performance needed. There are sound/color effects as well. #typing
Show More
benregn
Simple dependent types in Python sobolevn.me
benregn