Simple X display locker, with basic user feedback. Based on slock.
☆51Mar 21, 2020Updated 5 years ago
Alternatives and similar repositories for sflock
Users that are interested in sflock are comparing it to the libraries listed below
Sorting:
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- Company-mode completion back-end for haskell-cabal-mode☆14Sep 17, 2017Updated 8 years ago
- ☆15Nov 17, 2016Updated 9 years ago
- Start a * or # search from the visual selection☆81Nov 13, 2021Updated 4 years ago
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- hack for proxying a slime connection through a connected lisp and a cross compiler like parenscript☆43Apr 13, 2012Updated 13 years ago
- Packer build scripts for NixOS base images☆32Sep 11, 2015Updated 10 years ago
- simple X background setter inspired by imlibsetroot and feh.☆47Dec 13, 2025Updated 2 months ago
- Hunchentoot and CL-WHO utility library☆23Oct 30, 2016Updated 9 years ago
- Brainfuck formalized in Coq☆31Mar 29, 2022Updated 3 years ago
- Change screen color temperature and brightness using the Xrandr extension☆27Jun 13, 2023Updated 2 years ago
- Integrating Vim-style tabs for Evil mode users.☆67Dec 28, 2019Updated 6 years ago
- Highlight bound variables and quoted expressions in lisp☆61Feb 9, 2023Updated 3 years ago
- Advanced mpd widget for Awesome WM☆55Oct 9, 2017Updated 8 years ago
- Jellybeans.vim based theme for emacs☆26Sep 24, 2020Updated 5 years ago
- Deep evaluation of data structures☆43Jun 14, 2025Updated 8 months ago
- A Go library that allows to deserialize, manipulate, and reserialize Borderlands 4 weapon/item codes.☆21Nov 7, 2025Updated 4 months ago
- chained keybindings for X11☆37Dec 29, 2018Updated 7 years ago
- Insert and delete C++ header files automatically.☆33Mar 27, 2021Updated 4 years ago
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Dec 11, 2020Updated 5 years ago
- An API that wraps around the Tor control port to create ad-hoc hidden services☆10Sep 22, 2019Updated 6 years ago
- INAV: Navigation-enabled flight control software☆11Jan 31, 2025Updated last year
- ☆10Feb 3, 2023Updated 3 years ago
- Recursively find newest file in a hierarchy and print its timestamp☆11Jul 9, 2025Updated 8 months ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- Moved to GitLab