Ben Laurie

@benlaurie

Open GitHub

🇬🇧 UK

Profile age: almost 17 years

Updated 8 days ago

190 followers • 0 following

Organizations

Repositories

objecthash

146

updated over 2 years ago • age almost 10 years

Ruby25.1%

Python21.9%

Go20.6%

Java18.2%

C14.3%

lucre

updated about 3 years ago • age about 15 years

Java68.9%

C++23.9%

Makefile4.3%

HTML2.9%

gfdb

updated over 2 years ago • age over 3 years

Python100.0%

hacl

updated over 9 years ago • age almost 10 years

bff-ben

updated over 1 year ago • age almost 2 years

Go91.0%

Python9.0%

covid-pass

updated over 3 years ago • age almost 4 years

go-capsicum

updated about 8 years ago • age about 8 years

Go97.3%

Python2.7%

arduino--

updated over 6 years ago • age almost 14 years

JavaScript50.9%

C24.6%

C++19.1%

Python5.2%

Perl0.2%

openssl

updated about 8 years ago • age over 9 years

C73.2%

Perl23.5%

Assembly1.6%

C++1.3%

Shell0.4%

openssl-old

updated over 13 years ago • age over 13 years

C75.5%

Perl21.8%

Assembly1.8%

Shell0.7%

C++0.2%

Contributions

2025
rekor-monitor
1 PR +1-1
Go
38
33
2024
awesome-2d-lidars
1 PR +1-1
96
4
sonata-system
2 PRs +8-8
C++
45
26
12
2023
oak
3 PRs +6-1
Rust
1,408
122
cheriot-rtos
1 PR +1-1
C++
152
57
2021
silveroak
2 PRs +8-4
Coq
127
20
Piccolo
1 PR +1-1
Verilog
8
4
2020
cgal
1 PR +6-6
C++
5,582
1,494
90
oak
2 PRs +23-2
Rust
1,408
122
cgal-web
1 PR +1-1
HTML
6
15