Gabriel Ebner

icon indicating a website link https://gebner.org/ icon indicating an email [email protected]

icon company Microsoft Research icon location Seattle, Wash.

Results 4 repositories owned by Gabriel Ebner

compiz-cms

5
Stars
2
Forks
Watchers

Color management in compiz.

verified publisher icon gebner

dali-usb

9
Stars
3
Forks
Watchers

Firmware for a DALI-USB adapter using an ATtiny45.

verified publisher icon gebner

hott3

72
Stars
11
Forks
Watchers

HoTT in Lean 3

verified publisher icon gebner

trepplein

26
Stars
1
Forks
Watchers

Lean type-checker written in Scala.

verified publisher icon gebner