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:
- nixos configurations☆12May 14, 2017Updated 9 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆31Oct 1, 2015Updated 10 years ago
- A simple XML module for Idris.☆12May 22, 2020Updated 6 years ago
- ☆15May 28, 2016Updated 10 years ago
- An easily-extensible, Haskell-based Slack chatbot☆16Dec 13, 2014Updated 11 years ago
- 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 Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 6 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 9 years ago
- Personal NixOS configuration☆32Dec 6, 2018Updated 7 years ago
- A special shebang to run scripts in a nix-shell☆27Apr 22, 2015Updated 11 years ago
- ☆25Aug 8, 2026Updated last month
- A bunch of NPM packages defined in the nix language.☆12May 25, 2021Updated 5 years ago
- Experiment in Nix formatting☆23Oct 4, 2019Updated 6 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years 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.
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Dec 14, 2016Updated 9 years ago
- Minimalist BDD for Erlang, sans cucumbers☆10Oct 17, 2016Updated 9 years ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 9 years ago
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 5 years ago
- A crappy native calendar with vi keybindings (todo: make it less crappy)☆10Jan 5, 2024Updated 2 years ago
- Deploys with Terraform + NixOS☆20Apr 1, 2025Updated last year
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 11 years ago
- Statically built Nix binaries☆17Jan 27, 2020Updated 6 years ago
- An emacs centric fork of parinfer-rust☆12Sep 12, 2024Updated 2 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.
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Sep 10, 2015Updated 11 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- crazy cool svg animation with anime.js☆16Jan 18, 2019Updated 7 years ago
- JVM code generation☆32Feb 1, 2019Updated 7 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 8 months ago
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 14 years ago
- Builds Erlang apps/deps faster.☆19Feb 6, 2021Updated 5 years ago
- Manage project configuration and environment in side branches.☆11Jan 17, 2024Updated 2 years ago
- hublo: the world needed another site generator☆23Dec 17, 2016Updated 9 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.
- A funny toy programming language project☆29Feb 9, 2013Updated 13 years ago
- A gx package manager environment tool for node.☆12Mar 26, 2016Updated 10 years ago
- code for UniK Hub backend☆10Aug 22, 2016Updated 10 years ago
- a logic-based trust-management system☆19Sep 17, 2012Updated 14 years ago
- A fast, low-level HTTP server you can trust☆47Sep 5, 2018Updated 8 years ago
- ☆25Aug 10, 2016Updated 10 years ago
- Fast, compiled dot lenses for javascript☆20Oct 14, 2014Updated 11 years ago