gsutre

France

Pinned Repositories

netbsd-drmgem
Porting DRM/GEM from OpenBSD to NetBSD (Intel only)
Language:C143
acpi-wscons
ACPI backlight/brightness control via wsconsctl(8)
42
spa
Simple program analyzer
Language:OCaml30
icover
ICover: Petri net coverability checker with invariant-based pruning
Language:Python11
KM_tree
The module implements the procedure to build the Karp and miller tree for a given Petri Net.
Language:C20

gsutre's Repositories

gsutre/icover
ICover: Petri net coverability checker with invariant-based pruning
Language:Python11
gsutre/spa
Simple program analyzer
Language:OCaml3
gsutre/netbsd-drmgem
Porting DRM/GEM from OpenBSD to NetBSD (Intel only)
Language:C143
gsutre/acpi-wscons
ACPI backlight/brightness control via wsconsctl(8)
42