Greg Brown (@yellowsquid)
github

yellowsquid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Registered almost 6 years ago
  • Most used languages
    Agda     25.0 %
    TeX
         25.0 %
    Scheme
         25.0 %
    Java
         25.0 %

Top repositories

1

agda-helium

Semantics of Helium instructions in agda.
Agda
5
star
2

squidguix

A Guix channel defining some convenience functions.
Scheme
4
star
3

masters-proposal

The proposal for my Masters degree research project. Will be deleted after 19 November.
TeX
1
star
4

google-workout-help

Wear OS and Android app for circuit training.
Java
1
star