Rankings
Badges
/
EdAyers
Rankings
Badges
Overview
Ranks
Repositories
Languages
Ed Ayers
@EdAyers
Refresh
Open GitHub
🇬🇧 Cambridge, UK
Cogna Ltd
Profile age: over 12 years
Updated 4 days ago
89 followers • 70 following
Contacts
edayers.com
@ewayers
Organizations
Repositories
Robotone
12
3
updated about 5 years ago • age almost 9 years
Haskell
99.4%
Shell
0.6%
lean-humanproof
Archived
6
0
updated about 7 years ago • age about 7 years
Lean
100.0%
lean-subtask
5
1
updated over 6 years ago • age almost 7 years
Lean
100.0%
lean-humanproof-thesis
5
0
updated almost 4 years ago • age about 4 years
Lean
100.0%
Isaac3D
4
2
updated about 10 years ago • age over 10 years
C#
89.0%
Mathematica
8.9%
GLSL
2.1%
lean-chat-server
2
2
updated over 2 years ago • age over 3 years
TypeScript
78.9%
Python
21.1%
lean-old
Archived
0
0
updated over 5 years ago • age almost 7 years
C++
74.8%
Lean
23.0%
CMake
1.0%
C
0.9%
Shell
0.4%
vscode-lean
0
0
updated almost 5 years ago • age about 7 years
TypeScript
52.9%
CSS
44.2%
JavaScript
2.8%
Shell
0.2%
lean4
0
0
updated over 2 years ago • age over 6 years
Lean
81.2%
C++
17.7%
CMake
0.5%
Nix
0.4%
Python
0.2%
Contributions
2023
bloop
2 PRs
+7
-2
Rust
9,486
591
48
math-lm
1 PR
+166
-1
Python
1,089
90
ProofWidgets4
1 PR
+18
-3
Lean
156
41
109
lean-premise-selection
2 PRs
+188,869
-1,244
Lean
22
5
UPWARD-for-Playdate
1 PR
+4
-4
Zig
19
3
mathlib-semantic-search
2 PRs
+556
-173
Python
15
1
2022
lean4
~49 PRs
+131
-86
Lean
6,572
677
92
mmdetection3d
1 PR
+12
-14
Python
6,050
1,681
34
SciLean
1 PR
+38,715
-17
Lean
431
36
lean4-metaprogramming-book
1 PR
+173
-0
Lean
258
69
1
Show more
