Zachary Churchill goolord

## sway-extras.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              11 stars
            
          
                davidrios
                / sway-extras.md
            
            
              Last active
              January 28, 2023 02:54
            
          
    Introduction

This page is intended to help you set up a more functional sway desktop environment. Features that will be covered:

Manual and automatic screen locking using swayidle and swaylock
Working notifications with mako.
Nice application launcher and exit menu using fzf and kitty
Taking of screenshots, optionally selecting a region, using grim and slurp
Volume control with multimedia keys
Laptop screen brightness adjustment using brightnessctl and bound to keyboard keys


## 00--Results.md

      
              10 files
            
          
              0 forks
            
          
              0 comments
            
          
              7 stars
            
          
                be5invis
                / 00--Results.md
            
            
              Last active
              September 13, 2023 20:32
            
              
                Haskell-ish AltJS performance test results
              
          
    Candidates


JavaScript: Hand-written JavaScript.


Idris-codegen-es: Idris 1.0 with idris-codegen-es.


Idris (Official JS): Idris 1.0 with official JavaScript Codegen.


PureScript: Using Latest PureScript.


PureScript (Uncurried): Latest PureScript with Data.Function.Uncurry.


Idris (C): Idris 1.0 with C codegen on Windows x64.


C: Hand-written JavaScript, compiled with gcc 6.2.0, with Win64 settings and -O3.