norskovsen

norskovsen's Stars

• francma/wob

  A lightweight overlay volume/backlight/progress/anything bar for Wayland.

  Language:C89249

• alex-courtis/way-displays

  way-displays: Auto Manage Your Wayland Displays

  Language:C25113

• sopa0/hyprsome

  Awesome-like workspaces for Hyprland

  Language:Rust23512

• glzr-io/glazewm

  GlazeWM is a tiling window manager for Windows inspired by i3wm.

  Language:Rust5.3k155

• MarianArlt/sddm-chili

  The hottest theme around for SDDM, the Simple Desktop Display Manager.

  Language:QML13338

• hyprwm/Hyprland

  Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

  Language:C++19.7k839

• facebook/jscodeshift

  A JavaScript codemod toolkit.

  Language:JavaScript9.2k477

• melangue/bspwm-window-titles

  generate window titles for current desktop, to be used in a bar

  Language:Shell394

• you-dont-need/You-Dont-Need-GUI

  Stop relying on GUI; CLI **ROCKS**

  5.5k234

• MathiasVP/ni-formal-gc

  Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.

  Language:Coq94

• MathiasVP/lattice

  A Coq formalization of (bounded) lattices

  Language:Coq41

• Crowton/DynamicNoninterference

  Language:Coq21

• foxlet/macOS-Simple-KVM

  Tools to set up a quick macOS VM in QEMU, accelerated by KVM.

  Language:Shell13.6k1.1k

• julian-heng/yabai-config

  My personal Yabai and Skhd configs and scripts.

  Language:Shell48798

• gronlund/au_ml18

  Exercises for Machine Learning Course 18

  Language:Jupyter Notebook127

• sindresorhus/caprine

  Elegant Facebook Messenger desktop app

  Language:TypeScript7k553

• nverno/company-sml

  Language:Emacs Lisp2

• dpayne/cli-visualizer

  CLI based audio visualizer

  Language:C++2.1k123

• coreyhaines/fun_with_lambdas

  Language:Ruby11

• credmp/arjen-grey-theme

  A soothing grey color theme for GNU Emacs 24

  Language:Emacs Lisp245

• anordal/reljump.fish

  Language:Shell12