haskell-library... quickcheck top ... agda top 100

Global rank

# 183,399

Topics of expertise

haskell...
quickch...
agda
propert...

Github followers

18

Github username

stevana

Location

None

About

Stevan Andjelkovic's main area of expertise is haskell-library , and is also an expert on quickcheck and agda . Stevan Andjelkovic is recognized as Haskell-library Top-100Quickcheck Top-100, and Agda Top-100 . A Github user since 2013 , Stevan Andjelkovic is ranked as #183,399 globally .
Additional areas of expertise: property-based-testing, dependent-types, and Clojure

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.