ardumont / dot-files
my configuration files (nixos, .xmonad, tmux.conf, .bash*, profiles.clj, .stumpwmrc, etc...)
☆21Updated 3 years ago
Alternatives and similar repositories for dot-files:
Users that are interested in dot-files are comparing it to the libraries listed below
- Intero Layer (Abandonware)☆33Updated 8 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆57Updated last month
- An emacs major mode for editing hamlet, lucius, and julius files☆36Updated 6 years ago
- Toggle Haskell language extensions from Emacs☆22Updated 4 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- My NixOS configuration and custom Nix derivations.☆12Updated 4 years ago
- A command-line replacement for the Google Authenticator App☆25Updated last year
- λtext - higher-order file applicator☆36Updated last year
- Church-encoding of the Freer monad☆28Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Authentication via encrypted cookies☆23Updated 5 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 8 years ago
- Emacs mode for PureScript☆44Updated 7 years ago
- Example project for developing PureScript projects with Nix☆19Updated 6 years ago
- What I Wish I Knew While Learning Nix☆35Updated 3 years ago
- erp☆1Updated 10 years ago
- An example application using servant-elm.☆19Updated 6 years ago
- Haskell code generator☆22Updated 9 years ago
- Programmatic package configuration for Atom☆22Updated 6 years ago
- ☆15Updated 8 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- ☆33Updated 9 years ago
- ☆45Updated 3 weeks ago
- ☆24Updated 8 years ago
- A Prelude with names from category theory☆51Updated 8 years ago
- Idris Todo web application example☆42Updated 2 years ago
- Improved Haskell support for Flycheck☆67Updated 2 months ago
- Haskell test discovery for the tasty framework☆36Updated 6 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆90Updated 10 months ago
- A simple starter project for building Reflex applications with Stack.☆36Updated 8 years ago