Rankings
Badges
/
fpetrot
Rankings
Badges
Overview
Ranks
Repositories
Languages
Frédéric Pétrot
@fpetrot
Refresh
Open GitHub
🇫🇷 Grenoble, France
TIMA Lab, Univ. Grenoble Alpes, Grenoble INP, CNRS
Profile age: over 10 years
Updated 11 days ago
13 followers • 2 following
Contacts
http://tima.imag.fr/sls/people/petrot/
Repositories
qemu-riscv128
10
2
updated about 1 month ago • age over 4 years
C
81.5%
C++
11.9%
Python
4.4%
Shell
1.5%
Assembly
0.7%
128-test
4
1
updated about 1 month ago • age about 4 years
C
48.3%
Assembly
36.9%
TeX
5.4%
Python
5.4%
Makefile
4.0%
riscv-gcc
4
0
updated 11 months ago • age about 3 years
C++
36.4%
C
31.3%
Ada
15.8%
D
8.3%
Go
8.1%
riscv-binutils
4
0
updated 3 months ago • age about 3 years
C
49.0%
Makefile
22.6%
Assembly
15.3%
D
7.4%
C++
5.7%
riscv-gnu-toolchain
3
0
updated about 1 month ago • age about 3 years
Dockerfile
100.0%
busybear-linux
1
0
updated over 1 year ago • age over 5 years
C
85.8%
Shell
6.6%
Perl
4.0%
R
3.1%
Makefile
0.6%
bare_tests
0
0
updated almost 8 years ago • age almost 8 years
Assembly
83.4%
C
8.4%
Makefile
8.2%
nucleo
0
0
updated over 7 years ago • age almost 8 years
C++
98.9%
CMake
1.1%
qemu
0
0
updated almost 8 years ago • age about 8 years
C++
97.2%
CMake
2.8%
rabbits-devel-env
0
0
updated almost 8 years ago • age about 8 years
Shell
70.2%
CMake
29.8%
Show more - 10 of 11 shown
Contributions
2025
LSOracle
1 PR
+8
-1
Verilog
108
40
3
2020
riscv.vim
2 PRs
+396
-201
Vim Script
32
12
