Alastair Reid (@alastairreid)
github

alastairreid

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

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