David Broman

@david-broman

Open GitHub

🇸🇪 Stockholm, Sweden

KTH Royal Institute of Technology

Profile age: almost 13 years

Updated 1 day ago

29 followers • 3 following

Contacts

dbro@kth.se

https://people.kth.se/~dbro/

Organizations

Repositories

modelyze

updated about 5 years ago • age almost 12 years

OCaml96.0%

C2.0%

Makefile1.2%

Emacs Lisp0.6%

CSS0.2%

miking-dppl

updated over 1 year ago • age over 4 years

Monkey C45.6%

M429.2%

Cuda22.8%

R1.5%

Shell0.9%

Contributions

2024
miking
1 PR +282-0
Monkey C
55
36
miking-dppl
1 PR +1-1
Monkey C
19
16
3
etch
1 PR +44-6
Lean
16
8
2
2023
miking
2 PRs +1,404-2,615
Monkey C
55
36
2022
miking-dppl
1 PR +12-2
Monkey C
19
16
3
miking-lang.github.io
2 PRs +12,926-51
MDX
0
7
2021
miking
~27 PRs +698-14
Monkey C
55
36
miking-dppl
~9 PRs +343-28
Monkey C
19
16
3
miking-benchmarks
1 PR +193-2
C++
5
8
2020
miking
~19 PRs +1,174-758
Monkey C
55
36