Dima Szamozvancev (@DimaSamoz)
github

DimaSamoz

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    398
  • Global Rank 68,201 (Top 3 %)
  • Followers 36
  • Following 1
  • Registered over 8 years ago
  • Most used languages
    Haskell
         60.0 %
    Agda     40.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 3,346
  • Country Ranking
    Agda     8
    Haskell
         19

Top repositories

1

mezzo

A Haskell library for typesafe music composition
Haskell
344
star
2

agda-soas

Agda formalisation of second-order abstract syntax
Agda
46
star
3

temporal-type-systems

Formalisation of a temporal type system in Agda
Agda
4
star
4

mastermind

A simple Haskell implementation of the Mastermind game
Haskell
2
star
5

thodo

A simple command-line to-do list tool
Haskell
2
star