Alastair Reid (@alastairreid)
github

alastairreid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    172
  • Global Rank 138,596 (Top 5 %)
  • Followers 168
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    C
         40.0 %
    SCSS     20.0 %
    C++
         20.0 %
    Python
         20.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 6,579
  • Country Ranking
    SCSS     140
    Python
         1,564
    C
         1,823
    C++
         2,544

Top repositories

1

mra_tools

Tools to process ARM's Machine Readable Architecture Specification
Python
111
star
2

RelatedWork

Interesting papers
SCSS
10
star
3

teensykey

Keyboard firmware for Teensy 3.1
C++
7
star
4

verifast-play

Experiments in using VeriFast verification tool
C
6
star
5

smack-play

Experiments in using Smack verification tool with C and Rust
C
2
star