dotfiles
☆17Mar 30, 2020Updated 6 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:
- ☆16Oct 14, 2020Updated 5 years ago
- Instructions and scripts related to getting NixOS running on a newer generation MBP☆129Nov 22, 2016Updated 9 years ago
- my website built using Rust (stdweb) → .wasm☆13Apr 29, 2026Updated last week
- ☆21May 9, 2017Updated 9 years ago
- nixos config☆17May 5, 2023Updated 3 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.
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Sep 6, 2017Updated 8 years ago
- Compute pop-up menus from text and overlay properties☆11Jul 28, 2015Updated 10 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- Static Land Stream type for Most☆14Sep 6, 2016Updated 9 years ago
- A simple little toolkit for quick prototyping and experimenting with web UIs.☆13Feb 26, 2018Updated 8 years ago
- [ABANDONED, see https://github.com/ozkriff/zoc] Turn-based strategy game written in Rust using GLFW 3 and OpenGL☆33Sep 29, 2020Updated 5 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- A tool for caching cabal builds in a Nix store☆33Dec 23, 2015Updated 10 years ago
- Design schematics for Keyboardio's Keyboards☆24Jul 6, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆52Jan 12, 2023Updated 3 years ago
- Convenience functions for working with Strings in Elm.☆10Nov 17, 2016Updated 9 years ago
- Simple desktop notifier for keybase chat☆19Mar 27, 2020Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- ☆11Nov 16, 2017Updated 8 years ago
- My NixOS configuration and custom Nix derivations.☆157Updated this week
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆77Mar 5, 2022Updated 4 years ago
- SWCombine core code library☆20Mar 8, 2017Updated 9 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 12 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.
- Major emacs mode for editing Common Intermediate Language files.☆14Jun 22, 2016Updated 9 years ago
- ☆12Jan 9, 2015Updated 11 years ago
- ☆13Dec 7, 2024Updated last year
- vim text objects for haskell☆17Oct 26, 2015Updated 10 years ago
- Haskell implementation of the InterPlanetary File System☆14Jul 30, 2014Updated 11 years ago
- cucumber web steps for capybara that can be used in any application(blackjack and hookers included)☆19Jan 27, 2012Updated 14 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- Simple way to send messages to slack. Works on both the client and server.☆19Oct 26, 2015Updated 10 years ago
- Use Easy Dice to roll dice of your choosing.☆15Dec 31, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Automated XDG menu system for alternative Linux window wanagers☆18Mar 15, 2013Updated 13 years ago
- Experimental html based terminal emulator using pyte and webkit.☆29May 4, 2017Updated 9 years ago
- An .mli-aware command-line renaming tool for OCaml projects☆10Jan 5, 2016Updated 10 years ago
- Cursor data and manipulation☆22May 29, 2025Updated 11 months ago
- Pastebin powered by Nix☆12Feb 20, 2016Updated 10 years ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 6 years ago
- video chat system by Elm☆12Jun 6, 2016Updated 9 years ago