Pinned Loading

1. i3jq i3jq Public

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

   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. thumbledore thumbledore Public

   A more ergonomic keyboard configuration.

   Makefile 4