Paul Stanford (@stanosphere)
github

stanosphere

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    4
  • Global Rank 1,611,161 (Top 56 %)
  • Followers 16
  • Following 32
  • Registered over 6 years ago
  • Most used languages
    Scala
         66.7 %
    Agda     33.3 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 44,104
  • Country Ranking
    Agda     34
    Scala
         721

Top repositories

1

agda-learning

Learning about agda at Elliptic
Agda
2
star
2

finite-monoids

Playing around with finite monoids, this is inspired by the excellent book: "Functional Programming in Scala" https://github.com/fpinscala/fpinscala
Scala
1
star
3

chladni-plates

Pretty pictures of vibrated metal plates <3
Scala
1
star