ashbellett / dot-filesView external linksLinks
A collection of my personal Linux dot files.
☆11Jul 28, 2020Updated 5 years ago
Alternatives and similar repositories for dot-files
Users that are interested in dot-files are comparing it to the libraries listed below
Sorting:
- linux/osx☆50Oct 24, 2022Updated 3 years ago
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- Literally does the opposite of Ciphey. Encrypts text.☆11Feb 25, 2021Updated 4 years ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆13Nov 14, 2023Updated 2 years ago
- Faucet for Cardano☆10Jan 24, 2026Updated 3 weeks ago
- 🕹️ Compatibility layer to run PICO-8 scripts on the monome norns☆12Jan 12, 2022Updated 4 years ago
- ☆10Jun 30, 2021Updated 4 years ago
- ☆16Jan 5, 2026Updated last month
- dank dots☆11Dec 19, 2022Updated 3 years ago
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- A template for idris projects☆11Jun 27, 2021Updated 4 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated 3 weeks ago
- Idris libraries for hybrid classical-quantum programming☆13Feb 5, 2023Updated 3 years ago
- Code for a hexapod robot☆11Apr 8, 2017Updated 8 years ago
- An Emacs minor mode for frame-relative buffer lists.☆12Oct 22, 2020Updated 5 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- Closure web engine☆17Jul 22, 2022Updated 3 years ago
- A small SSH askpass GUI using GTK+2☆14Dec 20, 2022Updated 3 years ago
- GCC wrapper that outputs error diagnostics in a prettier format.☆11Aug 23, 2025Updated 5 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 2 months ago
- Linux config files☆11Jan 3, 2026Updated last month
- ☆13Aug 11, 2021Updated 4 years ago
- Inline procedural macros for Rust☆56Aug 27, 2022Updated 3 years ago
- Personal config files for Bspwm and i3☆10Feb 13, 2021Updated 5 years ago
- Minimalist session manager and a /toolchest/ like application launcher for Unix/X11.☆22Sep 27, 2025Updated 4 months ago
- EMUCHIP8, a CHIP-8 emulator.☆12Apr 8, 2021Updated 4 years ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- dotfiles☆10Feb 2, 2026Updated last week
- My dotfiles for Arch Linux.☆14Feb 16, 2021Updated 4 years ago
- Capture screen content with xlib in rust☆12May 22, 2017Updated 8 years ago
- A 2048 clone in python with Terminal UI☆28Dec 28, 2015Updated 10 years ago
- Auto-thing-at-point for emacs.☆14Feb 16, 2022Updated 3 years ago
- A gtk theme that can be configured with nix☆15Aug 18, 2023Updated 2 years ago
- DEPRECATED osu! on Nix☆13Aug 10, 2021Updated 4 years ago
- my dwm build☆17Apr 28, 2013Updated 12 years ago
- Rust Brazil community blog☆14Sep 6, 2018Updated 7 years ago
- A framework for iterating over collections of types implementing a trait without virtual dispatch☆13Jul 8, 2021Updated 4 years ago
- Idris 2 HTTP Api Server☆15Mar 17, 2022Updated 3 years ago