Pinned Repositories
hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
lguf-brightness
Adjust brightness for LG UltraFine 4K display (cross platform)
tpkb
Utility for 'ThinkPad Compact Bluetooth Keyboard with TrackPoint' (0B47189) for OSX
unknownzerx.github.io
unknownzerx's Repositories
unknownzerx/tpkb
Utility for 'ThinkPad Compact Bluetooth Keyboard with TrackPoint' (0B47189) for OSX
unknownzerx/lguf-brightness
Adjust brightness for LG UltraFine 4K display (cross platform)
unknownzerx/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
unknownzerx/unknownzerx.github.io