Ioan Luca

@ioanluca

Open GitHub

🇬🇧 London, UK and Bucharest, RO

Profile age: almost 10 years

Updated 6 days ago

55 followers • 106 following

Repositories

real-world-idris

updated about 6 years ago • age about 7 years

TeX47.2%

Haskell30.1%

Idris21.0%

OCaml0.8%

Makefile0.8%

awesome-cs407

updated almost 7 years ago • age about 7 years

TeX100.0%

meeting-manager

updated over 9 years ago • age over 9 years

CSS80.9%

Java10.2%

CoffeeScript7.6%

HTML0.9%

JavaScript0.4%

crew17

updated over 9 years ago • age over 9 years

Java71.0%

Arduino18.6%

Processing10.4%

Contributions

2024
nats.docs
1 PR +1-1
HTML
141
290
2023
terraform-provider-jetstream
1 PR +180-0
Go
73
25
19
2020
essential-scala
1 PR +6-6
Scala
120
29

Ioan Luca

@ioanluca

Open GitHub

🇬🇧 London, UK and Bucharest, RO

Profile age: almost 10 years

Updated 6 days ago

55 followers • 106 following

Repositories

real-world-idris

updated about 6 years ago • age about 7 years

TeX47.2%

Haskell30.1%

Idris21.0%

OCaml0.8%

Makefile0.8%

awesome-cs407

updated almost 7 years ago • age about 7 years

TeX100.0%

meeting-manager

updated over 9 years ago • age over 9 years

CSS80.9%

Java10.2%

CoffeeScript7.6%

HTML0.9%

JavaScript0.4%

crew17

updated over 9 years ago • age over 9 years

Java71.0%

Arduino18.6%

Processing10.4%

Contributions

2024
nats.docs
1 PR +1-1
HTML
141
290
2023
terraform-provider-jetstream
1 PR +180-0
Go
73
25
19
2020
essential-scala
1 PR +6-6
Scala
120
29