Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/fferreira

Badges

Overview
Ranks
Repositories
Languages

Francisco Ferreira

@fferreira

🇬🇧 London, UK

Profile age: about 17 years

Updated about 7 hours ago

41 followers • 5 following

Contacts

https://franciscoferreira.org/

Organizations

Repositories

Archived

7

0

updated over 13 years ago • age over 13 years

C++82.5%

C17.5%

6

0

updated over 12 years ago • age over 12 years

OCaml100.0%

4

1

updated almost 9 years ago • age about 10 years

OCaml98.8%

Standard ML1.2%

0

0

updated over 1 year ago • age almost 2 years

0

0

updated almost 4 years ago • age almost 5 years

OCaml100.0%

0

1

updated over 10 years ago • age about 11 years

Agda100.0%

0

1

updated almost 9 years ago • age about 10 years

Agda100.0%

Contributions

2024
concurrentbenchmark
1 PR +2-2
TeX
1
2
2023
controller-firmware
1 PR +2-3
C
1
1
obbidl
1 PR +296-31
Rust
0
0
2022
oven
3 PRs +1,712-1,428
OCaml
1
0
2021
nuscr
1 PR +9-5
OCaml
29
13
5
GentleAdventure
1 PR +160-4,699
Coq
3
0
2020
opam-repository
1 PR +46-0
555
1,207
nuscr
3 PRs +64-13
OCaml
29
13
5
surreal_numbers
1 PR +75-88
HTML
0
0
2019
nuscr
~9 PRs +346-199
OCaml
29
13
5