Andrea Colledan (@andreacolledan)
github

andreacolledan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,296,041 (Top 45 %)
  • Followers 6
  • Following 10
  • Registered over 8 years ago
  • Most used languages
    Haskell
         66.7 %
    C++
         33.3 %
  • Location ๐Ÿ‡ฎ๐Ÿ‡น Italy
  • Country Total Rank 9,163
  • Country Ranking
    Haskell
         25
    C++
         1,720

Top repositories

1

proto-quipper-m

An implementation of the Proto-Quipper-M language described by F. Rios and P. Selinger in โ€œA Categorical Model for a Quantum Circuit Description Languageโ€ (2018)
Haskell
4
star
2

pattern-rewriting-language

C++
2
star
3

proto-quipper-r

An implementation of Refinement Typed Proto-Quipper (Proto-Quipper-R)
Haskell
2
star