Pinned Loading

1. swayq swayq Public

   Control i3 and Sway through jq filters. Mirror of https://codeberg.org/nsbg/swayq.

   jq 1

2. judge judge Public

   Tableau-based theorem prover for justification logic.

   Haskell 1

3. scripts scripts Public

   A collection of useful bash scripts: dmenu interfaces to mpv and pass, keyboard configurations, etcetera.

   Shell 12 1

4. quangis/transforge quangis/transforge Public

   Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.

   Python 2

5. handalf handalf Public

   A more ergonomic keyboard configuration.

   Makefile 6