My configuration files
☆24Oct 12, 2020Updated 5 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:
- Gruvbox colors and accents for Oomox (Numix)☆12Apr 24, 2018Updated 7 years ago
- A Repo for Experimenting with Elm StyleElements☆16Nov 25, 2017Updated 8 years ago
- A Clang/LLVM add-on to enforce coding rules☆33Nov 15, 2013Updated 12 years ago
- An example application using servant-elm.☆20May 23, 2018Updated 7 years ago
- Damian Nadales's sandbox☆12Jun 15, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Nix flakes for the weathered niv user☆17Apr 23, 2024Updated last year
- Overengineered attempt at implementing the RealWorld API spec in Haskell using Servant and Persistent☆16Aug 1, 2017Updated 8 years ago
- Atomic color scheme for Sublime Text☆10Jun 7, 2017Updated 8 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Jan 3, 2018Updated 8 years ago
- A collection of files sent by spammers to my email☆10Oct 4, 2016Updated 9 years ago
- A brief example of Servant with Persistent☆296Apr 16, 2022Updated 3 years ago
- this repository is obsolete please go to our new repository☆14Jan 12, 2018Updated 8 years ago
- Southern Exposure's E-Commerce Website, Built with Haskell & Elm.☆65Mar 19, 2026Updated 3 weeks ago
- Keyng Arthur's Keyboard☆10Sep 21, 2023Updated 2 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.
- ghc and cabal completion for zsh shell☆19Mar 2, 2025Updated last year
- Theme generator☆29Dec 3, 2017Updated 8 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 3 years ago
- ☆21Oct 2, 2022Updated 3 years ago
- ☆29Oct 23, 2019Updated 6 years ago
- Web `grep` for Git repositories☆15Nov 13, 2017Updated 8 years ago
- Prevent or capture output to stdout or other handles in Haskell☆23Jan 5, 2026Updated 3 months ago
- Calculus of Constructions☆18Jul 17, 2019Updated 6 years ago
- SublimeText Syntax Definitions for Sprak the language used in the game Else Heart.break()☆12Feb 8, 2017Updated 9 years ago
- 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.
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- Personal NixOS configuration☆32Dec 6, 2018Updated 7 years ago
- Haskell neo4j REST client☆25Jul 13, 2018Updated 7 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Emacs mode for editing and running Bats tests☆22Feb 15, 2024Updated 2 years ago
- A library of Natural Language Processing algorithms for Haskell.☆72Jan 21, 2024Updated 2 years ago
- Intermediate library for calling macOS native functions from Core Foundation and System Configuration☆19Jun 16, 2025Updated 9 months ago
- dmenu with pango and imlib support☆12Aug 1, 2016Updated 9 years ago
- Principles of Reactive Programming - Coursera (Nov 2013)☆17Aug 30, 2014Updated 11 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Qutebrowser script to fill in username/passwords and TOTP from 1password☆15Aug 19, 2023Updated 2 years ago
- Manage SSH public keys stored in ActiveDirectory☆21Feb 7, 2018Updated 8 years ago
- Haskell code generator☆22Nov 24, 2015Updated 10 years ago
- Prolog benchmarks (`van Roy' set)☆18Mar 15, 2026Updated 3 weeks ago
- Erlang zlib NIF library optimized for streaming☆16Feb 12, 2022Updated 4 years ago
- My .*rc files and some stuff. Lots of garbage, use with caution.☆41Feb 4, 2020Updated 6 years ago
- ☆21Mar 1, 2024Updated 2 years ago