Linux dotfiles and scripts
☆12Oct 26, 2022Updated 3 years ago
Alternatives and similar repositories for dotfiles
Users that are interested in dotfiles are comparing it to the libraries listed below
Sorting:
- ☆18Oct 1, 2019Updated 6 years ago
- A window manager with physics!☆23May 4, 2020Updated 5 years ago
- This tool is for flashing qualcomm devices.☆10Feb 22, 2021Updated 5 years ago
- Disease Pattern Miner is a free, open-source mining framework for interactively discovering sequential disease patterns in medical health…☆12Mar 21, 2019Updated 6 years ago
- Just a mirror of my previous dots but this more refined paru or yay hyprland installer☆31Jun 2, 2024Updated last year
- VR Template with interactive Bow using the Polygon Bow from Synty Studios. UE4 4.21☆16Jan 26, 2019Updated 7 years ago
- Raspberry Pi Pico RP2040 powered Keyboard and Mouse converter, originally a project specifically for the IBM Model F PC/AT keyboard, it i…☆16Updated this week
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Extism Haskell Host SDK - easily run WebAssembly modules / plugins from Haskell applications☆11Dec 3, 2024Updated last year
- Gruvbox colors and accents for Oomox (Numix)☆12Apr 24, 2018Updated 7 years ago
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated 2 years ago
- ☆12Jul 6, 2021Updated 4 years ago
- Slides, source-code and screencasts of introductory talk about raymarching held at C++user-group meeting in Aachen, Germany in May of 201…☆10Apr 3, 2024Updated last year
- Tiny vi text editor clone with enough features to be truly useful☆15Feb 14, 2024Updated 2 years ago
- Wind is not a dummy, Sub-150 loc Window manager for X11☆10May 12, 2020Updated 5 years ago
- Hydrozoa: Lightweight multi-party state channels for Cardano☆16Updated this week
- EmojiTools for c++☆12Jul 22, 2019Updated 6 years ago
- ☆13Jun 21, 2021Updated 4 years ago
- Space Cadet Keyboard Schematic and PCB☆14Jan 31, 2023Updated 3 years ago
- A collection of shell scripts I've written☆10Apr 16, 2018Updated 7 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- Home page for the Simple Haskell Initiative☆16Jun 29, 2022Updated 3 years ago
- STM32F723 Firmware for the Nyan Keys keyboard platform☆14Jan 26, 2024Updated 2 years ago
- Faster unlock for iPhone X☆15Jan 19, 2018Updated 8 years ago
- Make your own splash screen for Redmi devices. -- ONLY TESTED ON REDMI 4X☆12Jul 31, 2019Updated 6 years ago
- A dark recolored version of Numix, a modern flat theme. (UNMAINTAINED, DO NOT USE)☆10May 18, 2017Updated 8 years ago
- ☆12Apr 23, 2024Updated last year
- A LSP client where events are powered by fsnotify and diagnostics displayed in a simple terminal interface☆26Mar 20, 2020Updated 5 years ago
- Haskell Expression Visualizer☆13Apr 2, 2022Updated 3 years ago
- ☆10Nov 20, 2023Updated 2 years ago
- Virtual Circuit Board blueprint tool☆11May 27, 2022Updated 3 years ago
- A Haskell package for creating RESTful API endpoints for dynamic parameterized Cardano Plutus script.☆16Dec 16, 2022Updated 3 years ago
- C green threads library☆11Aug 8, 2024Updated last year
- A lightweight and efficient pretty awesome-wm rice.☆12May 21, 2021Updated 4 years ago
- Tiny Wolfram Alpha commandline script☆12Sep 15, 2017Updated 8 years ago
- A DroidCam AppImage for the Steam Deck/SteamOS 3.0☆13Jun 15, 2024Updated last year
- Reflect types annotated with #[Facet] into Java, Kotlin, Swift, and TypeScript.☆28Updated this week
- 📝 A Rocq library written by members of PnV Discord Server☆19Updated this week
- Fortran 2003 interface bindings to Xlib☆14Sep 28, 2025Updated 5 months ago