Workspace switcher for i3 wm that emulates xmonad
☆46Feb 23, 2023Updated 3 years ago
Alternatives and similar repositories for i3-wk-switch
Users that are interested in i3-wk-switch are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Nov 11, 2021Updated 4 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- ☆13Jan 7, 2026Updated 9 months ago
- ☆13Nov 23, 2019Updated 6 years ago
- A monochrome (ish) neovim colour theme☆10Apr 23, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Multinomials for the Mathematical Components library.☆17Aug 20, 2026Updated last month
- Safely update your NPM dependencies using TravisCI cron jobs☆18Feb 25, 2021Updated 5 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Example project of an academic paper using the ACM SIG Proceedings template☆18Feb 24, 2019Updated 7 years ago
- Built in Vim linter for Julia☆11May 4, 2017Updated 9 years ago
- A simple λProlog interpreter☆21Nov 29, 2021Updated 4 years ago
- Silly Android app to bypass stupid Facebook's limitation that forces user to use Messenger app to chat with contacts, instead of normal b…☆10Jun 15, 2016Updated 10 years ago
- i3 Manager Tool - Written with Python and Qt☆12May 19, 2017Updated 9 years ago
- Stable sort algorithms and their stability proofs in Rocq☆26Sep 18, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- vim, vifm, tmux, fzf, fish, sxhkd☆13Updated this week
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 5 months ago
- Deprecated. Please use the new repository linked.☆16Oct 30, 2018Updated 7 years ago
- github dark colorscheme for neovim made with lush☆14Feb 3, 2022Updated 4 years ago
- WebExtension API to execute external commands through native messaging☆18Oct 21, 2023Updated 2 years ago
- MRU (Most recently used) workspace switcher for i3 window manager☆21Apr 22, 2019Updated 7 years ago
- An INRIA beamer template☆15Nov 19, 2019Updated 6 years ago
- The Coq formalization of the paper Reasoning about the garden of forking paths.☆25Feb 7, 2025Updated last year
- Julia package for fast flexible adaptive rejection sampling for log-concave univariate densities.☆21Sep 24, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Julia wrapper for Seaborn☆47Apr 19, 2022Updated 4 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆32Aug 27, 2026Updated last month
- My convoluted configuration files☆14Sep 19, 2026Updated 3 weeks ago
- Jackknife resampling and estimation in Julia☆25Aug 9, 2022Updated 4 years ago
- A Lua script to sort directories and files in mpv, sans external dependencies☆17Dec 30, 2018Updated 7 years ago
- ☆15Sep 24, 2022Updated 4 years ago
- Yi 4k light python API☆16May 21, 2017Updated 9 years ago
- perspective.el ❤️ EXWM☆20Aug 2, 2026Updated 2 months ago
- Formalizing convex polyhedra in Coq☆24Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Vim plugin for Julia.☆18Sep 11, 2020Updated 6 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆38Apr 3, 2026Updated 6 months ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- All and up-to-date tree-sitter grammars built for nix.☆16Feb 8, 2025Updated last year
- A proof of Abel-Ruffini theorem.☆30Aug 28, 2026Updated last month
- pfSense Multi Backup - backs up multiple pfSense instances.☆18Jul 1, 2023Updated 3 years ago