NixOS theme for SLiM lock
☆17Feb 17, 2018Updated 8 years ago
Alternatives and similar repositories for nixos-slim-theme
Users that are interested in nixos-slim-theme are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library for Nix expression dependency generation☆11Jun 25, 2015Updated 11 years ago
- nixos configurations☆13May 14, 2017Updated 9 years ago
- a GTK3-theme☆10Dec 13, 2018Updated 7 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆31Oct 1, 2015Updated 11 years ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆14Jul 21, 2024Updated 2 years ago
- A colorful Design circle icon theme for linux desktops☆11Oct 2, 2021Updated 5 years ago
- Conky files for manjaro☆14Sep 7, 2021Updated 5 years ago
- Directed acyclic word graphs☆11Jul 22, 2013Updated 13 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- An easily-extensible, Haskell-based Slack chatbot☆16Dec 13, 2014Updated 11 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- A long, two-lines fish prompt theme☆13May 17, 2022Updated 4 years ago
- ☆10Apr 22, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Personal NixOS configuration☆31Dec 6, 2018Updated 7 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 9 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- Nanum Gothic Coding font☆14Jan 7, 2018Updated 8 years ago
- Algorithmic composer.☆12Jul 15, 2013Updated 13 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 7 years ago
- A simple no border XFWM theme....☆12Aug 13, 2020Updated 6 years ago
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 5 years ago
- Minimalist BDD for Erlang, sans cucumbers☆10Oct 17, 2016Updated 10 years 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.
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years ago
- ☆11Sep 12, 2021Updated 5 years ago
- Unofficial Gentoo fish prompt theme☆10Aug 10, 2021Updated 5 years ago
- A special shebang to run scripts in a nix-shell☆29Apr 22, 2015Updated 11 years ago
- contains a package in Haskell to calculate the electronic structure properties of molecules using the Hartree-Fock method☆19Jan 25, 2017Updated 9 years ago
- ☆10Jun 27, 2018Updated 8 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 9 years ago
- M+ Font for Powerline☆14Jan 16, 2016Updated 10 years ago
- 最好用的V2Ray一键安装脚本＆管 理脚本 https://233blog.com/post/16/☆15Jul 26, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple ass-prompt with virtual environment and git support for the fish shell.☆15Jan 28, 2017Updated 9 years ago
- Alien moon arch linux dotfiles☆11Oct 25, 2026Updated last week
- A colorful Design icon theme for linux desktops☆17Feb 2, 2021Updated 5 years ago
- Fish shell theme☆12Jul 16, 2023Updated 3 years ago
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 6 years ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- Logo for Node application with ASCII Art☆17Jul 6, 2022Updated 4 years ago