/Joonas-vonlerber

Joonas von Lerber

@Joonas-vonlerber

Open GitHub

🇫🇮 Helsinki

Profile age: almost 3 years

Updated 9 days ago

9 followers • 12 following

Organizations

Repositories

Type-Theory-Game

2

0

updated over 1 year ago • age over 1 year

Lean85.2%

Dockerfile14.8%

Kryptografian-ENG-FIN-sanakirja

1

0

updated over 1 year ago • age over 1 year

impl-nn

0

2

updated almost 2 years ago • age almost 2 years

TeX100.0%

Contributions

2024
cryptocompanion
1 PR +1,359-1,360
TeX
21
4

Joonas von Lerber

@Joonas-vonlerber

Open GitHub

🇫🇮 Helsinki

Profile age: almost 3 years

Updated 9 days ago

9 followers • 12 following

Organizations

Repositories

Type-Theory-Game

2

0

updated over 1 year ago • age over 1 year

Lean85.2%

Dockerfile14.8%

Kryptografian-ENG-FIN-sanakirja

1

0

updated over 1 year ago • age over 1 year

impl-nn

0

2

updated almost 2 years ago • age almost 2 years

TeX100.0%

Contributions

2024
cryptocompanion
1 PR +1,359-1,360
TeX
21
4