Rintse
Pinned Loading
-
rofi-randr
rofi-randr PublicRofi script to manage ResizeAndRotate (randr) settings on various platforms
Rust 1
-
-
ghopfl
ghopfl PublicA interpreter for a guarded higher order probabilistic language (GHOPFL), based on the big-step, call-by-value semantics given in my thesis.
Haskell
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.