Lukas Heidemann

icon indicating an email [email protected]

icon location Bonn, Germany

Results 3 repositories owned by Lukas Heidemann

afp

15
Stars
2
Forks
Watchers

Angewandte Funktionale Programmierung

verified publisher icon zrho

Hydrogen

27
Stars
4
Forks
Watchers

Intermediate loader for AMD64 kernels. C rewrite of HydrogenLegacy.

verified publisher icon zrho

purescript-optic-ui

119
Stars
10
Forks
Watchers

PureScript UI framework based on lenses.

verified publisher icon zrho