My rice config with rose pine and i3, running on openSUSE and nixOS
☆11Apr 11, 2026Updated 6 months ago
Alternatives and similar repositories for i3-rosepine-dotfiles
Users that are interested in i3-rosepine-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:
- Soho vibes for Thunderbird.☆10Jul 24, 2025Updated last year
- Lovely VSCode theme builder☆15Apr 5, 2023Updated 3 years ago
- Interactive visual exploration tools for https://ecoengine.berkeley.edu/☆15Mar 31, 2016Updated 10 years ago
- Collection of Linux dotfiles (XFCE, i3wm, Polybar, i3bar, Rofi, Dunst)☆11Nov 22, 2023Updated 2 years ago
- Use Open color with Tailwind CSS☆11Jan 5, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Syntax Parse Bee 2021☆11Nov 7, 2022Updated 3 years ago
- Infrastructure for Autonomous Business☆13Updated this week
- ☆17Mar 21, 2016Updated 10 years ago
- Modeling I/O in Coq using free monads☆10Jul 27, 2018Updated 8 years ago
- An XML schema compiler written in C++, which generates C++ code for marshalling and unmarshalling objects☆18Mar 14, 2019Updated 7 years ago
- Match and toggle augroups and options☆13Jul 20, 2025Updated last year
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 6 years ago
- An Introduction to Various Math Topics☆10Jan 1, 2015Updated 11 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 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.
- ☆10Jan 11, 2017Updated 9 years ago
- A semantic highlighter for Idris code☆14Feb 22, 2018Updated 8 years ago
- Add build steps for bower and grunt☆22Apr 7, 2015Updated 11 years ago
- Realtime display for transit (MUNI and BART) near BlinkTag offices☆25Dec 10, 2022Updated 3 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- ☆52Aug 26, 2026Updated 2 months ago
- my customization for the current linux distro i am using (switced to linux mint & sway)☆12Jul 26, 2026Updated 3 months ago
- A neovim statusline written in lua☆10Aug 9, 2021Updated 5 years ago
- A LeftWM theme☆26Oct 9, 2026Updated 3 weeks 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.
- Calculus of Constructions☆19Jul 17, 2019Updated 7 years ago
- Useful Information☆21Oct 13, 2026Updated 2 weeks ago
- Material para Matemática Discreta☆12Jul 31, 2016Updated 10 years ago
- tiny little scriptable static site generator☆21Sep 19, 2026Updated last month
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 7 years ago
- node.js bindings for the mapserver library☆26Jan 29, 2019Updated 7 years ago
- A reproducible and modular Neovim configuration powered by Nix flakes☆11Dec 15, 2025Updated 10 months ago
- A sentiment-based stock trading bot for the Indonesian Stock Exchange (IHSG/IDX). Sentimeter crawls financial news from Indonesian portal…☆23Apr 28, 2026Updated 6 months ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Nov 15, 2025Updated 11 months ago
- ☆16Oct 25, 2026Updated last week
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- A modular and opinionated starting point for Neovim☆16Sep 2, 2026Updated last month
- Assorted scripts for Cmus music player.☆12Dec 22, 2015Updated 10 years ago
- [ICCV 2025] Adapting Vehicle Detectors for Aerial Imagery to Unseen Domains with Weak Supervision☆14Dec 1, 2025Updated 10 months ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆19Jun 17, 2019Updated 7 years ago