DaBlumer

Pinned Repositories

Projet-SU-S6-Lean-2023
Language:Lean00
userspace-tablet-driver-daemon
Linux device drivers for non-wacom (XP-Pen, Huion, Gaomon) graphics tablets and pen displays
Language:C++00
RobotLegoMindstorm
Projet de robotique de L2
Language:Java01
MiniSGBD
Language:C00
cours-preuves-par-ordinateur-projet-2024
Language:Coq00
django-timescaledb
A Django database backend and tooling for Timescaledb.
Language:Python00
DualBootPatcher
Patches Android ROMs for dual boot support
Language:C++00
recovery_device_redmi_rosemary
TWRP device tree for Redmi Note 10S (rosemary)
Language:C++00
RobotLegoMindstorm
Projet de robotique de L2
Language:Java00
userspace-tablet-driver-daemon
Linux device drivers for non-wacom (XP-Pen, Huion, Gaomon) graphics tablets and pen displays
Language:C++6216

DaBlumer's Repositories

DaBlumer/cours-preuves-par-ordinateur-projet-2024
Language:Coq
DaBlumer/userspace-tablet-driver-daemon
Linux device drivers for non-wacom (XP-Pen, Huion, Gaomon) graphics tablets and pen displays
Language:C++
DaBlumer/recovery_device_redmi_rosemary
TWRP device tree for Redmi Note 10S (rosemary)
DaBlumer/Projet-SU-S6-Lean-2023
Language:Lean
DaBlumer/django-timescaledb
A Django database backend and tooling for Timescaledb.
Language:Python
DaBlumer/RobotLegoMindstorm
Projet de robotique de L2
DaBlumer/DualBootPatcher
Patches Android ROMs for dual boot support
Language:C++