dotfiles
☆17Mar 30, 2020Updated 6 years ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 14, 2020Updated 5 years ago
- Instructions and scripts related to getting NixOS running on a newer generation MBP☆129Nov 22, 2016Updated 9 years ago
- Custom Python/Django CMS - Transparency for Public Projects (used for BERwatch/BLBwatch)☆24Oct 20, 2023Updated 2 years ago
- La mia casa☆12Apr 13, 2026Updated 2 months ago
- nixos config☆17May 5, 2023Updated 3 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.
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 8 years ago
- A presentation wrapper to show a controller that doesn't fill the full screen.☆13Apr 16, 2018Updated 8 years ago
- rust(1) cli prototype☆15Jan 2, 2022Updated 4 years ago
- Compute pop-up menus from text and overlay properties☆12Jul 28, 2015Updated 10 years ago
- Modularized configuration for a NixOS system☆42Dec 19, 2018Updated 7 years ago
- [ABANDONED, see https://github.com/ozkriff/zoc] Turn-based strategy game written in Rust using GLFW 3 and OpenGL☆33Sep 29, 2020Updated 5 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- A tool for caching cabal builds in a Nix store☆33Dec 23, 2015Updated 10 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.
- Simple desktop notifier for keybase chat☆19Mar 27, 2020Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- My NixOS configuration and custom Nix derivations.☆157May 6, 2026Updated last month
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- SWCombine core code library☆20Mar 8, 2017Updated 9 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 12 years ago
- Major emacs mode for editing Common Intermediate Language files.☆14Jun 22, 2016Updated 9 years ago
- ☆12Jan 9, 2015Updated 11 years ago
- ☆13Dec 7, 2024Updated last year
- 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.
- GNU Hyperbole: The Everyday Hypertextual Information Manager☆11Jun 5, 2026Updated 2 weeks ago
- vim text objects for haskell☆17Oct 26, 2015Updated 10 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- Use Easy Dice to roll dice of your choosing.☆15Dec 31, 2024Updated last year
- Automated XDG menu system for alternative Linux window wanagers☆18Mar 15, 2013Updated 13 years ago
- Experimental html based terminal emulator using pyte and webkit.☆29May 4, 2017Updated 9 years ago
- An .mli-aware command-line renaming tool for OCaml projects☆10Jan 5, 2016Updated 10 years ago
- Cursor data and manipulation☆22Jun 3, 2026Updated 2 weeks ago
- Pastebin powered by Nix☆12Feb 20, 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.
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years ago
- Django chat application using different realtime technologies. Out of date! See https://github.com/centrifugal/centrifugo and https://git…☆75Apr 26, 2016Updated 10 years ago
- Load environment variables from .env☆19Dec 21, 2023Updated 2 years ago
- Curses bindings package for Idris☆13Jan 4, 2019Updated 7 years ago
- Search your reddit saved links☆12Feb 20, 2017Updated 9 years ago
- ☆15Jan 27, 2011Updated 15 years ago
- Program Arduino robots in Elm.☆13Jun 12, 2014Updated 12 years ago