My .dot-files
☆16Jul 10, 2026Updated last month
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:
- Fuse driver to simulate slow disk IO for testing purposes☆15Jul 24, 2014Updated 12 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 4 months ago
- ☆18Jul 24, 2025Updated last year
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 8 years ago
- My dotfiles☆15May 7, 2026Updated 3 months 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.
- Project-wide flycheck errors☆15Oct 31, 2020Updated 5 years ago
- IoT-LAB Yocto repository☆14Apr 7, 2026Updated 4 months ago
- Arrowized functional state machines☆18Jul 24, 2016Updated 10 years ago
- Source code for my entry for Sparkfun AVC 2016. This is an autonomous vehicle based on Raspberry Pi and Rust.☆15Sep 16, 2017Updated 8 years ago
- Discover a handpicked compilation of Git configuration settings and time-saving aliases. Enhance your productivity and simplify your work…☆18Jul 31, 2026Updated last week
- SystemVerilog Example Files☆11Jan 15, 2013Updated 13 years ago
- Cheat sheet about stuff others might find interesting☆14Dec 10, 2021Updated 4 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Emacs wrapper to keep multiple emacs sites, ~/emacs.d and ~/emacs.d/init.el.☆10Jul 1, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Dockerfiles for Iroha☆10Mar 23, 2017Updated 9 years ago
- ☆20Jun 12, 2026Updated last month
- Stickers just for fun☆12Dec 17, 2022Updated 3 years ago
- study uvm step by step☆11Mar 28, 2019Updated 7 years ago
- JJS Judging system☆12May 29, 2026Updated 2 months ago
- LaTeX course in RANEPA☆13Nov 7, 2020Updated 5 years ago
- Utilities for Avalon Memory Map☆11Jun 16, 2026Updated last month
- My dotfiles: i3wm, neovim, zsh, xkb, termite.☆10Aug 6, 2020Updated 6 years ago
- color quantization using kmeans+++ for clustering and CIEDE2000 algorithm for color distance☆10Jul 11, 2023Updated 3 years ago
- AI Agents on 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.
- Traces for SVA - SystemVerilog Assertions; Will use Go2UVM package to write traces and use uvm_report_mock to predict errors☆12Sep 2, 2016Updated 9 years ago
- ☆19Aug 27, 2018Updated 7 years ago
- Python Phonetic Tools and Distance Metrics☆13Apr 21, 2018Updated 8 years ago
- ☆19Mar 23, 2017Updated 9 years ago
- Muzei Live Wallpaper Earth View extension☆22Oct 3, 2021Updated 4 years ago
- builds images, from your code.☆24Oct 11, 2018Updated 7 years ago
- a lightweight CSS DSL for haskell☆22May 29, 2020Updated 6 years ago
- Tools for SystemVerilog development.☆15Jan 3, 2018Updated 8 years ago
- Quasiquoter for LLVM☆32Apr 14, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Ссылки к видео☆19Mar 3, 2024Updated 2 years ago
- Programming exercises. For fun and great good.☆17Oct 27, 2019Updated 6 years ago
- Wolfenstein 3D style game engine implemented in haskell☆30Mar 1, 2020Updated 6 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 4 years ago
- NaturalDocs package for SublimeText 2☆20Dec 10, 2015Updated 10 years ago
- Contains source code for sin/cos table verification using UVM☆23Mar 9, 2021Updated 5 years ago