My dotfiles and configurations
☆10Oct 13, 2024Updated last year
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:
- haskell project using nix☆17Jan 3, 2021Updated 5 years ago
- Neotest adapter for running busted tests using neovim as a lua interpreter☆17Apr 2, 2026Updated 2 months ago
- A minimalistic VIM theme.☆10May 5, 2022Updated 4 years ago
- Nginx http-server with embedded Let's Encrypt client ACME.sh☆12Apr 25, 2017Updated 9 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tool to transform Android Cuttlefish images into QEMU disk images☆18Jul 12, 2024Updated last year
- android runtime resource overlay application Demo☆13Feb 28, 2023Updated 3 years ago
- Tslint language server extension of coc.nvim☆16Feb 22, 2021Updated 5 years ago
- my dotfiles☆11Updated this week
- Bit of a mess 💩☆14Oct 27, 2023Updated 2 years ago
- ☆12Oct 22, 2015Updated 10 years ago
- Android resource file parsing & writing☆11Oct 20, 2024Updated last year
- Repo for Spectrum's berry font☆11Sep 29, 2019Updated 6 years ago
- Purescript React Basic starter with sample app☆13Jan 3, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- nvim plugin providing abstraction over fzf and fzy native libraries☆18May 19, 2024Updated 2 years ago
- ☆13May 18, 2014Updated 12 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Apr 30, 2026Updated last month
- An extensible, modal navigation plugin for Vim☆20Oct 27, 2021Updated 4 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated 3 months ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- Enable string interpolation for PureScript☆18Oct 18, 2022Updated 3 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 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.
- an input method management bot for emacs☆11Updated this week
- Awesome WM configuration☆10Sep 9, 2021Updated 4 years ago
- ☆12Oct 19, 2019Updated 6 years ago
- Smart align block around cursor☆11Jun 23, 2019Updated 6 years ago
- A shell script to parse and display keybindings + descriptions, as well as optionally edit them.☆13Oct 29, 2020Updated 5 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Jun 12, 2020Updated 5 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14May 13, 2026Updated 3 weeks ago
- Use your bluetooth device in Linux (Ubuntu) and Windows without having to pair it on every boot.☆11Apr 12, 2021Updated 5 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Haskell + Nix project setup Cookiecutter template☆11Feb 19, 2021Updated 5 years ago
- arduino-based decoder for Oregon Scientific weather station☆13Mar 28, 2014Updated 12 years ago
- Parse and render URI templates.☆17May 22, 2026Updated 2 weeks ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Open files with external programs☆15Feb 17, 2020Updated 6 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- A minimal interesting project that can be used to play around with PureScript (along with react, shadcn, and tailwind)☆15Apr 12, 2026Updated last month