DaBlumer

Pinned Repositories

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
Projet-SU-S6-Lean-2023
Language:Lean00
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++00
RobotLegoMindstorm
Projet de robotique de L2
Language:Java0 1 01
userspace-tablet-driver-daemon
Linux device drivers for non-wacom (XP-Pen, Huion, Gaomon) graphics tablets and pen displays
Language:C++65 4 6016
MiniSGBD
Language:C0 0 10

DaBlumer's Repositories

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