Niklas Larsson

@melted

Open GitHub

🇸🇪 Malmö, Sweden

Profile age: over 15 years

Updated 14 days ago

40 followers • 1 following

Contacts

metaniklas@gmail.com

@kryptiskt@social.vivaldi.net

@kryptiskt

@kryptiskt.bsky.social

Repositories

idris-chez

updated about 8 years ago • age about 8 years

Haskell84.5%

Scheme12.5%

Idris3.1%

get-idris

updated almost 6 years ago • age over 11 years

PowerShell100.0%

idris-lua

updated almost 8 years ago • age over 9 years

Lua56.6%

Haskell43.4%

hcom

updated about 3 years ago • age over 8 years

Haskell82.6%

C17.4%

Idris-dev

updated almost 4 years ago • age over 12 years

Haskell58.7%

Idris32.8%

C6.2%

JavaScript1.2%

Shell1.1%

raconteur

updated about 10 years ago • age over 10 years

JavaScript71.4%

CSS21.7%

HTML6.9%

Idris2

updated over 3 years ago • age over 5 years

Idris95.5%

C3.2%

Scheme0.6%

Makefile0.4%

Racket0.3%

rcedit

updated over 8 years ago • age over 10 years

C++95.1%

Python4.9%

Contributions

2025
factor
1 PR +4-0
Factor
1,757
216
7
2022
ChezScheme
1 PR +1,682-1,779
Scheme
7,178
1,007
12
algol60
1 PR +2-2
Racket
13
13
2021
Idris-dev
1 PR +18-14
Haskell
3,468
635
1
Idris2
~12 PRs +61-7
Idris
2,753
395
5
mlton
1 PR +26-0
Standard ML
1,024
134
6
2020
ChezScheme
2 PRs +22-1
Scheme
7,178
1,007
12
Idris-dev
~10 PRs +10-19
Haskell
3,468
635
1
Idris2
~49 PRs +42-6
Idris
2,753
395
5
Idris2-boot
3 PRs +12-5
Idris
900
56