My dotfiles for Nixos, bspwm, Spacemacs, and other applications...
☆37Nov 15, 2018Updated 7 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:
- nixos based linux operating system for software development☆25Nov 13, 2022Updated 3 years ago
- My Emacs configuration☆12Sep 9, 2026Updated 2 weeks ago
- A fully automated replicable nixos configuration set☆109Nov 5, 2022Updated 3 years ago
- ☆10Dec 16, 2020Updated 5 years ago
- [WIP] Nix overlay for making programs xdg compliant☆22Dec 1, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- My NixOS configuration and custom Nix derivations.☆12Nov 2, 2020Updated 5 years ago
- FOSDEM 2018 Go devroom, Networking deepdive—From net.Dial to gRPC☆12Feb 3, 2018Updated 8 years ago
- My .spacemacs configuration in ORG mode☆12Nov 8, 2018Updated 7 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- a declarative linux desktop☆119Updated this week
- Nix Docker base images for fast and minimal builds.☆22Aug 1, 2023Updated 3 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 5 months ago
- Sandboxed code execution for LLMs, powered by Nix☆16Jul 23, 2026Updated 2 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.
- My dotfiles and NixOs configurations☆17Updated this week
- Collection of dotfiles for my NixOS machine☆14Jul 29, 2019Updated 7 years ago
- TDD Exercise☆13Mar 15, 2010Updated 16 years ago
- An extremely simple static blog generator made in Haskell☆21Jul 29, 2022Updated 4 years ago
- An in-browser game engine for Gleam.☆16Feb 1, 2025Updated last year
- A repo for my nixos configuration files☆21Updated this week
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 11 years ago
- Did someone say... vim?☆20Apr 13, 2020Updated 6 years ago
- My personal declarative macOS machine configuration☆22Oct 1, 2019Updated 6 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.
- Template Project for Python Development in Nix. This project requires a specific configuration.nix: https://github.com/monadplus/nixconfi…☆14May 2, 2020Updated 6 years ago
- A sample Rust+Nix project for a blogpost☆29Mar 15, 2020Updated 6 years ago
- Allow you to manipulate a group of ranges. Such as merging overlapping ranges, doing ranges union, intersection, difference, and so on.☆20Sep 14, 2024Updated 2 years ago
- And I say hey, what's going on?☆1,950Updated this week
- File browse app using Fyne☆11Jul 25, 2026Updated 2 months ago
- OrFinder is a tool which scan the internet to find open relay SMTPs☆15Aug 7, 2017Updated 9 years ago
- my awesomewm config☆17Jan 12, 2025Updated last year
- Dotfiles☆10Sep 3, 2026Updated 3 weeks ago
- A minimal NixOS image builder for DigitalOcean.☆18Jun 25, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Egison tutorial☆15Dec 18, 2021Updated 4 years ago
- A clib package for the makeheaders command http://www.hwaci.com/sw/mkhdr/☆14Dec 11, 2014Updated 11 years ago
- [WIP] Nix to Lua parser meant to be used for configuring neovim☆54May 23, 2026Updated 4 months ago
- Just another IRC bot.☆14Sep 18, 2026Updated last week
- parsec for nim☆13Jun 22, 2020Updated 6 years ago
- A simple terminal music player for GNU/Linux☆13Apr 14, 2026Updated 5 months ago
- A client for the Hydra Nix CI☆52Jul 22, 2024Updated 2 years ago