ahorn - Repositories & Contributions

@ahorn

Open GitHub

🇬🇧 Oxford, UK

Profile age: about 17 years

Updated 8 days ago

71 followers • 2 following

Organizations

Repositories

android-rss

527

173

updated about 5 years ago • age almost 15 years

Java100.0%

cpp-channel

157

updated almost 11 years ago • age over 11 years

C++85.6%

Shell9.1%

Python5.1%

Makefile0.1%

Go0.0%

linearizability-checker

updated over 10 years ago • age almost 11 years

C++99.5%

Makefile0.5%

xv6

updated over 11 years ago • age about 14 years

C68.2%

Shell15.8%

C++10.5%

Assembly3.4%

Perl2.1%

smt-kit

Archived

updated almost 9 years ago • age over 12 years

C++80.5%

C7.9%

Shell7.3%

Python4.0%

JavaScript0.3%

native-symbolic-execution-clang

updated over 11 years ago • age over 11 years

C++100.0%

gonetsync

updated almost 15 years ago • age almost 15 years

Go100.0%

benchmarks

updated about 10 years ago • age over 13 years

SMT69.4%

C16.0%

C++14.0%

HTML0.4%

Shell0.2%

bf-interpreter

updated almost 12 years ago • age over 14 years

C100.0%

nopticon

updated almost 6 years ago • age about 7 years

C++52.4%

Python46.9%

Makefile0.7%

Contributions

2018
wabt
1 PR +3-3
C++
7,607
772
38
2015
z3
1 PR +550-10
C++
11,443
1,569
50
jepsen
1 PR +20-12
Clojure
7,182
739
31
2014
klee
1 PR +6-1
C++
2,839
700
11
book
1 PR +3-3
TeX
2,104
373
1