My .dot-files
☆16May 1, 2026Updated 3 weeks 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:
- Сайт math.ru☆14Jan 7, 2023Updated 3 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 8 years ago
- Arrowized functional state machines☆18Jul 24, 2016Updated 9 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 libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- ☆20Jul 24, 2025Updated 9 months ago
- DEPRICATED: A nix package for using spicetify☆11Jul 28, 2024Updated last year
- Pipe-friendly Aliases for R☆12Oct 24, 2016Updated 9 years ago
- JJS Judging system☆12Apr 22, 2026Updated last month
- color quantization using kmeans+++ for clustering and CIEDE2000 algorithm for color distance☆10Jul 11, 2023Updated 2 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆20Jun 3, 2018Updated 7 years ago
- Checks your test results metadata into github, commit-bound. Acts as a bot. You'll need a GitHub App to use it.☆24Jul 3, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- My personal configuration files built using home-manager.☆18May 12, 2026Updated last week
- builds images, from your code.☆24Oct 11, 2018Updated 7 years ago
- Quasiquoter for LLVM☆32Apr 14, 2018Updated 8 years ago
- [De]serializing data structures as files☆21Jul 26, 2018Updated 7 years ago
- [WIP] Nix overlay for making programs xdg compliant☆22Dec 1, 2017Updated 8 years ago
- Follow your favourite stock right in the terminal window☆16Aug 9, 2022Updated 3 years ago
- One ring to rule them all machine provisioner for Lenovo P50, Lenovo P1 Gen 2 and Lenovo P16v Gen 1☆22Updated this week
- Tensors in Haskell☆40Feb 3, 2026Updated 3 months ago
- Generate a cabal freeze file from a stack.yaml☆36Aug 25, 2018Updated 7 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.
- ☆15Nov 9, 2017Updated 8 years ago
- Fast Fuzzy Phonetic Search algorithm in Python☆14Apr 21, 2018Updated 8 years ago
- Evaluate special comments in your program on file save.☆39Oct 7, 2020Updated 5 years ago
- FUSE filesystem based on tags☆20May 19, 2019Updated 7 years ago
- break timer that forces you to take a break☆22Mar 27, 2026Updated last month
- ☆16Apr 7, 2023Updated 3 years ago
- The next generation of webwork software.☆19May 16, 2025Updated last year
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- type-safe JSON spec and validation tool☆86Jan 15, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 😎 A community-curated list of awesome lawtech software and learning resources for legal technology and design.☆32Oct 3, 2019Updated 6 years ago
- Manage cachix caches declaratively☆36Oct 23, 2023Updated 2 years ago
- Declaratively configure neovim with the magic of nix! Personal toy project.☆19Jan 4, 2024Updated 2 years ago
- An open source Ada wallet for users who need more☆40Aug 9, 2019Updated 6 years ago
- OpenTracing (https://opentracing.io) for Haskell☆40Feb 25, 2025Updated last year
- 🎭 Actor library for Haskell☆30Feb 16, 2023Updated 3 years ago
- Learning project by a group of people interested in learning the Idris language☆51Feb 18, 2015Updated 11 years ago