Alastair Reid

@alastairreid

Open GitHub

🇬🇧 Cambridge, United Kingdom

Intel

Profile age: over 10 years

Updated 13 days ago

202 followers • 1 following

Contacts

https://alastairreid.github.io/

@adreid@mastodon.social

Repositories

mra_tools

134

updated almost 6 years ago • age over 8 years

Python98.0%

Makefile2.0%

asl-interpreter

updated about 1 month ago • age about 6 years

OCaml78.8%

ASL12.2%

C5.2%

Python2.2%

C++1.6%

RelatedWork

updated over 1 year ago • age about 6 years

SCSS68.2%

Python17.0%

HTML13.5%

TeX0.8%

Makefile0.6%

teensykey

updated over 9 years ago • age over 10 years

C++90.5%

Makefile9.5%

verifast-play

updated over 5 years ago • age over 5 years

C100.0%

rust-verification-tools

updated about 4 years ago • age about 5 years

Rust77.7%

Python10.9%

Shell4.8%

C3.4%

Dockerfile3.2%

mycelia

updated over 2 years ago • age over 2 years

HTML59.6%

Python40.4%

Contributions

2025
xdsl
1 PR +117-0
Python
429
125
69
asl-interpreter
2 PRs +311-117
OCaml
24
5
6
xdsl-asl
2 PRs +476-26
Python
4
1
2024
asl-interpreter
~10 PRs +198-78
OCaml
24
5
6
2021
rust-verification-tools
~30 PRs +19-2
Rust
275
36
2020
klee
~6 PRs +152-4
C++
2,839
700
11
opam-repository
2 PRs +82-0
555
1,207
rust-verification-tools
~29 PRs +553-29
Rust
275
36
rust-benchmarks
2 PRs +262-20
Rust
4
2
2018
ott
1 PR +3-3
OCaml
390
52
10