University of Cambridge
Cambridge, UK
14
Followers
2
Following
14
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 3 owned repositories
734K
Total LOC
TeX
683,046 lines
93.0%
N/A
Isabelle
41,868 lines
5.7%
N/A
Lean
9,376 lines
1.3%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in TeX
TeX
Isabelle
Lean
Collaboration Network
Global Impact visualization
Repos
21
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
40
Contributions
23
Commits
8
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
TritonBench
TritonBench: Benchmarking Large Language Model Capabilities for Generating Triton Operators
0
0
Python
miniF2F-Dafny
Formal to Formal Mathematics Benchmark
0
0
Dafny
lean-explore
A search engine for Lean 4 declarations
0
0
Python
loogle
Mathlib search tool
0
0
Lean
TPTPTableauFormat
0
0
TeX
repl
A simple REPL for Lean 4, returning information about errors and sorries.
0
0
Lean
mathlib4
The math library of Lean 4
0
0
Lean
LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
0
0
Lean
mantasbaksys.github.io
Personal Academic Website
0
0
TeX
pfr
0
0
Lean
Open Source Impact
Contributions to external projects
13 merged PRs
dafny-lang/miniF2F
11
GeoffsPapers/TPTPTableauFormat
0
mathlib-initiative/lean_scout
3
faabian/loom
2
facebookresearch/wybecoder
36
Contributed to 5 repositories